Enable debugging.
Fail unit test if a verification failed.
Start implementation of argument conversion.