Argument, state and other invariant checks for your programs - View it on GitHub