This example modifies methods to inject tests so that the arguments can be bounded. The bound values is given by an annotation. The injected code is defined in a template.