sbool newPreciseCall_debug;

sO newPreciseCall(O o, S method, O... args) ctex {

  if (o == null) null;

  bool staticCall = o instanceof Class;

  Class c = staticCall ? (Class) o : o.getClass();

  O target = staticCall ? null : o;

  _MethodCache cache = callOpt_getCache(c);

  L<Method> methods = cache.cache.get(method);

  Method best = null;

  int bestScore = Int.MAX_VALUE;

  bool widening;

  if (newPreciseCall_debug)

    printVars("newPreciseCall", +method, +staticCall, +c, methods := l(methods));

  if (methods != null) for (Method m : methods) {

    if (staticCall && !isStaticMethod(m)) continue;

    int score = methodApplicabilityScore_withPrimitiveWidening(m, args);

    if (score == 0)

      ret invokeMethod(m, target, args);

    if (newPreciseCall_debug)

      print("Method score: " + m + " " + score);

    if (abs(score) < bestScore) {

      best = m;

      bestScore = abs(score);

      widening = score < 0;

    }

  }

  if (best != null)

    if (widening)

      ret invokeMethodWithWidening(best, target, args);

    else

      ret invokeMethod(best, target, args);

  ret callWithVarargs(o, method, args); // TODO: make this precise too

}