Assertion memoizer. Safely bring the outcome of an assertion next the code where it is actually useful.