Traceback of preconditions

When a precondition fails at runtime, current trackback points to the checker.

It is more user-friendly to point the traceback to where the precondition is added.