public static Cons yieldCondTest(Stella_Object casetest, Stella_Object testvariable, Symbol equalitytest) {
    if (Stella_Object.symbolP(casetest) &&
        (!Stella.useHardcodedSymbolsP())) {
      casetest = Cons.list$(Cons.cons(Stella.SYM_STELLA_TYPED_SYS, Cons.cons(GeneralizedSymbol.registerSymbol(((GeneralizedSymbol)(casetest))), Cons.cons(Cons.cons(Stella.SGT_STELLA_SYMBOL, Stella.NIL), Stella.NIL))));
    }
    if (equalitytest == Stella.SYM_STELLA_ISAp) {
      return (Surrogate.yieldIsaPCaseTest(Stella_Object.typify(casetest), testvariable));
    }
    else if (equalitytest == Stella.SYM_STELLA_SUBTYPE_OFp) {
      return (Surrogate.yieldSubtypeOfPCaseTest(Stella_Object.typify(casetest), testvariable));
    }
    else {
      return (Cons.cons(equalitytest, Cons.cons(Stella_Object.copyConsTree(testvariable), Cons.cons(casetest, Stella.NIL))));
    }
  }