Implemented spy verifier.
Implemented call factory, small refactorings.