public static SCode Make(Primitive2 rator, Argument rand0, SCode rand1)
 {
     return
         (rand0 is Argument0) ? PrimitiveIsCharEqA0.Make (rator, (Argument0) rand0, rand1)
         : (rand0 is Argument1) ? PrimitiveIsCharEqA1.Make (rator, (Argument1) rand0, rand1)
         : Unimplemented ();
 }

 public static SCode Make(Primitive2 rator, Quotation rand0, SCode rand1)
 {
     return
         (rand1 is Argument) ? PrimitiveIsCharEqQA.Make (rator, rand0, (Argument) rand1) :
         (rand1 is StaticVariable) ? PrimitiveIsCharEqQS.Make (rator, rand0, (StaticVariable) rand1) :
         new PrimitiveIsCharEqQ (rator, rand0, rand1);
 }

 protected PCond2L(PrimitiveCombination2L predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.rand0Name = predicate.rand0Name;
     this.rand0Depth = predicate.rand0Depth;
     this.rand0Offset = predicate.rand0Offset;
 }

        public static SCode Make(PrimitiveCombination1 predicate, SCode consequent, SCode alternative)
        {
            return
                (Configuration.EnableCodeRewriting &&
                 Configuration.EnableInvertConditional &&
                 predicate is PrimitiveNot) ? InvertConditional ((PrimitiveNot) predicate, consequent, alternative) :
                (Configuration.EnableInlinePCond1 && predicate is PrimitiveCar) ? PCondCar.Make ((PrimitiveCar) predicate, consequent, alternative) :
                (Configuration.EnableInlinePCond1 && predicate is PrimitiveIsType<long>) ? PCondIsType<long>.Make ((PrimitiveIsType<long>) predicate, consequent, alternative) :
                (Configuration.EnableInlinePCond1 && predicate is PrimitiveIsType<double>) ? PCondIsType<double>.Make ((PrimitiveIsType<double>) predicate, consequent, alternative) :
                (Configuration.EnableInlinePCond1 && predicate is PrimitiveIsType<Complex>) ? PCondIsType<Complex>.Make ((PrimitiveIsType<Complex>) predicate, consequent, alternative) :
                (Configuration.EnableInlinePCond1 && predicate is PrimitiveIsType<char>) ? PCondIsType<char>.Make ((PrimitiveIsType<char>) predicate, consequent, alternative) :
                (Configuration.EnableInlinePCond1 && predicate is PrimitiveIsType<char []>) ? PCondIsType<char []>.Make ((PrimitiveIsType<char []>) predicate, consequent, alternative) :
                (Configuration.EnableInlinePCond1 && predicate is PrimitiveIsType<int>) ? PCondIsType<int>.Make ((PrimitiveIsType<int>) predicate, consequent, alternative) :
                (Configuration.EnableInlinePCond1 && predicate is PrimitiveIsNull) ? PCondIsNull.Make ((PrimitiveIsNull) predicate, consequent, alternative) :
                (Configuration.EnableInlinePCond1 && predicate is PrimitiveIsType<Cons>) ? PCondIsType<Cons>.Make ((PrimitiveIsType<Cons>) predicate, consequent, alternative) :
                (Configuration.EnableInlinePCond1 && predicate is PrimitiveIsType<Entity>) ? PCondIsType<Entity>.Make ((PrimitiveIsType<Entity>) predicate, consequent, alternative) :
                (Configuration.EnableInlinePCond1 && predicate is PrimitiveIsType<Ratnum>) ? PCondIsType<Ratnum>.Make ((PrimitiveIsType<Ratnum>) predicate, consequent, alternative) :
                (Configuration.EnableInlinePCond1 && predicate is PrimitiveIsType<Record>) ? PCondIsType<Record>.Make ((PrimitiveIsType<Record>) predicate, consequent, alternative) :
                ////(predicate is PrimitiveIsSymbol) ? PCondIsSymbol.Make ((PrimitiveIsSymbol) predicate, consequent, alternative) :
                (Configuration.EnableInlinePCond1 && predicate is PrimitiveIsType<object []>) ? PCondIsType<object []>.Make ((PrimitiveIsType<object []>) predicate, consequent, alternative) :
                (Configuration.EnableInlinePCond1 && predicate is PrimitiveIsType<WeakCons>) ? PCondIsType<WeakCons>.Make ((PrimitiveIsType<WeakCons>) predicate, consequent, alternative) :

                (predicate.Operand is Argument) ? PCond1A.Make (predicate, consequent, alternative) :
                (predicate.Operand is Quotation) ? PCond1Q.Make (predicate, consequent, alternative) :
                (predicate.Operand is StaticVariable) ? PCond1S.Make (predicate, consequent, alternative) :
                (consequent is Argument) ? PCond1XA.Make (predicate, (Argument) consequent, alternative) :
                (consequent is Quotation) ? PCond1XQ.Make (predicate, (Quotation) consequent, alternative) :
                (consequent is StaticVariable) ? PCond1XS.Make (predicate, (StaticVariable) consequent, alternative) :
                (alternative is Argument) ? PCond1XXA.Make (predicate, consequent, (Argument) alternative) :
                (alternative is Quotation) ? PCond1XXQ.Make (predicate, consequent, (Quotation) alternative) :
                (alternative is StaticVariable) ? PCond1XXS.Make (predicate, consequent, (StaticVariable) alternative) :
                new PCond1 (predicate, consequent, alternative);
        }

 public static PrimitiveStringSet Make(SCode arg0, SCode arg1, SCode arg2)
 {
     return
         (arg0 is Argument) ? PrimitiveStringSetA.Make ((Argument) arg0, arg1, arg2) :
         (arg0 is StaticVariable) ? PrimitiveStringSetS.Make ((StaticVariable) arg0, arg1, arg2) :
         new PrimitiveStringSet (arg0, arg1, arg2);
 }

 protected PCondIsVector(PrimitiveIsVector predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     #if DEBUG
     this.arg0Type = this.arg0.GetType ();
     #endif
 }

 public static new SCode Make(Primitive2 rator, SCode rand0, SCode rand1)
 {
     return
         (rand0 is Argument) ? PrimitiveRecordRefA.Make(rator, (Argument) rand0, rand1) :
         (rand0 is StaticVariable) ? PrimitiveRecordRefS.Make (rator, (StaticVariable) rand0, rand1) :
         (rand1 is Quotation) ? PrimitiveRecordRefXQ.Make (rator, rand0, (Quotation) rand1) :
         new PrimitiveRecordRef (rator, rand0, rand1);
 }

 public static SCode Make(PrimitiveRecordRef predicate, SCode consequent, SCode alternative)
 {
     return
         (predicate is PrimitiveRecordRefA) ? PCondRecordRefA.Make ((PrimitiveRecordRefA) predicate, consequent, alternative) :
         (predicate is PrimitiveRecordRefS) ? PCondRecordRefS.Make ((PrimitiveRecordRefS) predicate, consequent, alternative) :
         (predicate is PrimitiveRecordRefXQ) ? PCondRecordRefXQ.Make ((PrimitiveRecordRefXQ) predicate, consequent, alternative) :
         new PCondRecordRef (predicate, consequent, alternative);
 }

 public static new SCode Make(Primitive2 rator, SCode rand0, SCode rand1)
 {
     return
         //(rand0 is Argument) ? PrimitiveLessThanFixnumA.Make (rator, (Argument) rand0, rand1) :
         //(rand0 is StaticVariable) ? PrimitiveLessThanFixnumS.Make (rator, (StaticVariable) rand0, rand1) :
         //(rand1 is Quotation) ? PrimitiveLessThanFixnumXQ.Make (rator, rand0, (Quotation) rand1) :
         new PrimitiveLessThan (rator, rand0, rand1);
 }

 public static SCode Make(PrimitiveLessThanFixnum predicate, SCode consequent, SCode alternative)
 {
     return
         (predicate is PrimitiveLessThanFixnumA) ? PCondLessThanFixnumA.Make ((PrimitiveLessThanFixnumA) predicate, consequent, alternative) :
         (predicate is PrimitiveLessThanFixnumS) ? PCondLessThanFixnumS.Make ((PrimitiveLessThanFixnumS) predicate, consequent, alternative) :
         (predicate is PrimitiveLessThanFixnumXQ) ? PCondLessThanFixnumXQ.Make ((PrimitiveLessThanFixnumXQ) predicate, consequent, alternative) :
         new PCondLessThanFixnum (predicate, consequent, alternative);
 }

 protected PCondIsEqCar(PrimitiveCombination2 predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.rand0Inner = ((PrimitiveCar) predicate.Operand0).Operand;
     #if DEBUG
     this.rand0InnerType = this.rand0Inner.GetType();
     #endif
 }

 public static SCode Make(Primitive2 rator, Argument rand0, SCode rand1)
 {
     return
         (rand0 is Argument0) ? PrimitiveIsObjectEqA0.Make (rator, (Argument0) rand0, rand1)
         : (rand0 is Argument1) ? PrimitiveIsObjectEqA1.Make (rator, (Argument1) rand0, rand1)
         : (rand1 is LexicalVariable) ? Unimplemented()
         : (rand1 is Quotation) ? PrimitiveIsObjectEqAQ.Make (rator, rand0, (Quotation) rand1)
         : new PrimitiveIsObjectEqA (rator, rand0, rand1);
 }

 public static SCode Make(PrimitiveIsFixnumEqual predicate, SCode consequent, SCode alternative)
 {
     return
         (predicate is PrimitiveIsFixnumEqualL) ? PCondIsFixnumEqualL.Make ((PrimitiveIsFixnumEqualL) predicate, consequent, alternative) :
         //(predicate is PrimitiveIsFixnumEqualQ) ? Unimplemented() :
         //(predicate is PrimitiveIsFixnumEqualSL) ? Unimplemented() :
         (predicate is PrimitiveIsFixnumEqualSQ) ? PCondIsFixnumEqualSQ.Make ((PrimitiveIsFixnumEqualSQ) predicate, consequent, alternative) :
         new PCondIsFixnumEqual (predicate, consequent, alternative);
 }

 public static new SCode Make(Primitive2 rator, SCode rand0, SCode rand1)
 {
     return
         (rand0 is LexicalVariable) ? PrimitivePlusFixnumL.Make (rator, (LexicalVariable) rand0, rand1) :
         (rand0 is Quotation) ? PrimitivePlusFixnumQ.Make (rator, (Quotation) rand0, rand1) :
         (rand1 is LexicalVariable) ? PrimitivePlusFixnumSL.Make (rator, rand0, (LexicalVariable) rand1) :
         (rand1 is Quotation) ? PrimitivePlusFixnumSQ.Make (rator, rand0, (Quotation) rand1) :
         new PrimitivePlusFixnum (rator, rand0, rand1);
 }

 public static new SCode Make(Primitive2 rator, SCode rand0, SCode rand1)
 {
     return
         (rand0 is Argument) ? PrimitiveVector8BRefA.Make (rator, (Argument) rand0, rand1) :
         (rand0 is StaticVariable) ? PrimitiveVector8BRefS.Make (rator, (StaticVariable) rand0, rand1) :
         (rand1 is Argument) ? PrimitiveVector8BRefXA.Make (rator, rand0, (Argument) rand1) :
         (rand1 is StaticVariable) ? PrimitiveVector8BRefXS.Make (rator, rand0, (StaticVariable) rand1) :
         new PrimitiveVector8BRef (rator, rand0, rand1);
 }

 public static new SCode Make(Primitive2 rator, SCode rand0, SCode rand1)
 {
     return
         (rand0 is LexicalVariable) ? PrimitiveGeneralCarCdrL.Make (rator, (LexicalVariable) rand0, rand1) :
         (rand0 is Quotation) ? Unimplemented() : // PrimitiveGeneralCarCdrQ.Make (rator, (Quotation) rand0, rand1)
         (rand1 is LexicalVariable) ? Unimplemented() : // PrimitiveGeneralCarCdrSL.Make (rator, rand0, (LexicalVariable) rand1)
         (rand1 is Quotation) ?  PrimitiveGeneralCarCdrSQ.Make (rator, rand0, (Quotation) rand1) :
         new PrimitiveGeneralCarCdr (rator, rand0, rand1);
 }

 protected Let2(Lambda rator, SCode rand0, SCode rand1)
     : base(rator, rand0, rand1)
 {
     this.body = rator.Body;
     #if DEBUG
     if (rator.Body != null)
         this.bodyType = rator.Body.GetType ();
     #endif
 }

 public static SCode Make(PrimitiveIsSymbol predicate, SCode consequent, SCode alternative)
 {
     return
          (predicate is PrimitiveIsSymbolL) ? PCondIsSymbolL.Make ((PrimitiveIsSymbolL) predicate, consequent, alternative)
         : (consequent is LexicalVariable) ? PCondIsSymbolSL.Make (predicate, (LexicalVariable) consequent, alternative)
         : (consequent is Quotation) ? PCondIsSymbolSQ.Make (predicate, (Quotation) consequent, alternative)
         : (alternative is LexicalVariable) ? PCondIsSymbolSSL.Make (predicate, consequent, (LexicalVariable) alternative)
         : (alternative is Quotation) ? PCondIsSymbolSSQ.Make (predicate, consequent, (Quotation) alternative)
         : new PCondIsSymbol (predicate, consequent, alternative);
 }

 public static new SCode Make(Primitive2 rator, SCode rand0, SCode rand1)
 {
     return
         (rand0 is PrimitiveObjectType &&
         Configuration.EnableObjectTypePrimitives) ? RewriteAsSameType ((PrimitiveObjectType) rand0, rand1) :
         (rand0 is Quotation) ? PrimitiveIsObjectTypeQ.Make (rator, (Quotation) rand0, rand1) :
         //(rand1 is Quotation) ? PrimitiveIsObjectTypeSQ.Make (rator, rand0, (Quotation) rand1) :
         (rand1 is Argument) ? PrimitiveIsObjectTypeXA.Make (rator, rand0, (Argument) rand1) :
         new PrimitiveIsObjectType (rator, rand0, rand1);
 }

 protected PCond1(PrimitiveCombination1 predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.procedure = predicate.Operator;
     this.method = this.procedure.Method;
     this.arg0 = predicate.Operand;
     #if DEBUG
     this.arg0Type = this.arg0.GetType ();
     #endif
 }