Modify verification mechanism.
Remove predicate factory class, that is not used anymore.
Remove unused class (TestSpec)
Implement a first example.
Implement a first example.