Add LazyAssertion @method definitions