Injects a static assertion call at the entry of every non-skipped method in classes annotated with @AssertForAllCalls.