Changed the verification condition generation, mofidified filtered of candidates, implemented verifier timeout as evidence of validity