InternalMethodAnnotation check in a pseudoinstruction