static volatile F2<O[], Bool> isAllowed_f;
static volatile bool isAllowed_all = true;

sbool isAllowed(S askingMethod, O... args) {
  ret isAllowed_all || isTrue(callF(isAllowed_f, concatArrays(new O[] {askingMethod}, args)));
}