Current behavior

If a source file or even an sby file are changed, the GUI doesn't reflect the proofs that are now out of date.

Pressing the "play" button starts the proof--whether it needs to be proven or not

Expected behavior

For every proof dependent upon any file that has changed since the start of the logfile, the proof progress should drop to zero.

Pressing the "play" button should then only start the proofs that need to be proven/updated, while leaving the others as "green".