// TODO: use a separate cache for non-synthetic methods only
static Method getMethodForArgs_nonSynthetic(O o, S method, O... args) {
  ret firstThat isNonSynthetic(findMethods_precise_onTypes(o, method, getClasses_array(args)));
}