static volatile O isAllowed_function; // F1<..., Bool>
static volatile bool isAllowed_all = true;

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