static Method findNonStaticMethod_precise_onTypes(O o, S method, Class... argTypes) ctex {
  Class c = _getClass(o);
  if (c == null) null;
  _MethodCache cache = callOpt_getCache(c);
  L<Method> methods = cache.cache.get(method);
  new Lowest<Method> best;
  if (methods != null) for (Method m : methods) {
    continue if isStaticMethod(m);
    int score = methodApplicabilityScore_onTypes(m, argTypes);
    print ifdef preciseCall_debug("Method score: " + m + " " + score);
    if (score < Int.MAX_VALUE)
      best.put(m, score);
  }
  ret best!;
}

Began life as a copy of #1020934