Change away from extending ClauseVerifier for contracts which support clauses, and explicitely call clause verification code in the verify() function. This should make the flow of control easier to understand.
