Remove verifier.
Implement toString.
Implement Not predicate.
Implement Not operator.
Remove Verifier class.
Start implementing test generation mechanism.
Start implementing test generation mechanism.