static Int maxNumberOfFunctionArguments(O f) {
  if (f instanceof F1) ret 1;
  if (f instanceof S) ret maxNumberOfMethodArguments(mc(), (S) f);
  ret maxNumberOfMethodArguments(f, "get");
}