Define annotated methods in redefine