public static Cons helpTransformKifFunction(Stella_Object arg1, Stella_Object arg2) {
    if (!Stella_Object.consP(arg1)) {
      if (Stella_Object.safePrimaryType(arg2) == Logic.SGT_STELLA_CONS) {
        { Cons arg2000 = ((Cons)(arg2));

          if (!Logic.termKifSpecialFormP(arg2000.value)) {
            return (arg2000.concatenate(Cons.cons(arg1, Stella.NIL), Stella.NIL));
          }
        }
      }
      else {
      }
    }
    return (null);
  }