Asserts your function invariants (MIT)