When injecting a rule into a given class there may be more than one possible target method for injection. This can happen if the METHOD clause inlcdes a name but no signature. Currently, if one of the candidate methods does not match the rule, say because it mentions a parameter or local variable appropriate only to another candidate, injection is inhibited and an error is notified. It would be better if a warning was posted for mismatched methods and injection were disabled only for those specific methods. This change also requries modifying the offline type checker so it detects and reports these warnings correctly.