Fixed bug with handling of conditions. Simplifier.cond_prover_worker_tac wasn't clearing the loopDB so conditions which reduced to true were being rejected.
Fixed bug with handling of conditions.
Simplifier.cond_prover_worker_tac wasn't clearing the loopDB so
conditions which reduced to true were being rejected.

mwb-cde/hseq-prover