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

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