public static Stella_Object whenCycKludgesEnabled(Cons body) {
    return (Cons.list$(Cons.cons(Logic.SYM_STELLA_WHEN, Cons.cons(Logic.SYM_LOGIC_$CYC_KLUDGES_ENABLEDp$, Cons.cons(body.concatenate(Stella.NIL, Stella.NIL), Stella.NIL)))));
  }