Some simple verification methods to check your argument, state and result related assumptions runtime