also it might be a good time to consider -pre and -post
precondition and postcondition flags for doing
contract enforcement.