Fix precond in STM's parallel mode

[jmid]

STM should be fixed to respect preconditions precond in parallel mode - agree_test_par.
Currently this is only the case in sequential mode - agree_test.

[jmid]

Closing as this has been fixed with the initial generate-and-filter implementation in #67