There are two method applicability routines, one in Resolve and another in Infer. Those routine do very similar things so it would be desirable to merge the contents of the two into a single routine.