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(PrimitiveCombination2 predicate, SCode alternative)
 {
     return
         (predicate.Operand0 is Argument) ? POrIsEqA.Make (predicate, alternative) :
         (predicate.Operand0 is Quotation) ? POrIsEqQ.Make (predicate, alternative) :
         (predicate.Operand0 is StaticVariable) ? POrIsEqS.Make (predicate, alternative) :
         (predicate.Operand1 is Argument) ? POrIsEqXA.Make (predicate, alternative) :
         (predicate.Operand1 is Quotation) ? POrIsEqXQ.Make (predicate, alternative) :
         (predicate.Operand1 is StaticVariable) ? POrIsEqXS.Make (predicate, alternative) :
         new POrIsEq (predicate, alternative);
 }

        protected PCond2 (PrimitiveCombination2 predicate, SCode consequent, SCode alternative)
            : base (predicate, consequent, alternative)
        {
            this.procedure = predicate.Rator;
            this.method = this.procedure.Method;
            this.rand0 = predicate.Operand0;
            this.rand1 = predicate.Operand1;
#if DEBUG
            rand0Type = rand0.GetType ();
            rand1Type = rand1.GetType ();
#endif
        }

 public static SCode Make (PrimitiveCombination2 predicate, SCode consequent, SCode alternative)
 {
     return
         (predicate.Operand0 is Argument) ? PCondIsEqA.Make (predicate, consequent, alternative) :
         (predicate.Operand0 is PrimitiveCar) ? PCondIsEqCar.Make (predicate, consequent, alternative) :
         (predicate.Operand0 is Quotation) ? PCondIsEqQ.Make (predicate, consequent, alternative) :
         (predicate.Operand0 is StaticVariable) ? PCondIsEqS.Make (predicate, consequent, alternative) :
         (predicate.Operand1 is Argument) ? PCondIsEqXA.Make (predicate, consequent, alternative) :
         (predicate.Operand1 is Quotation) ? PCondIsEqXQ.Make (predicate, consequent, alternative) :
         (predicate.Operand1 is StaticVariable) ? PCondIsEqXS.Make (predicate, consequent, alternative) :
         (consequent is Argument) ? PCondIsEqXXA.Make (predicate, (Argument) consequent, alternative) :
         (consequent is Quotation) ? PCondIsEqXXQ.Make (predicate, (Quotation) consequent, alternative) :
         (consequent is StaticVariable) ? Unimplemented () :
         (alternative is Argument) ? PCondIsEqXXXA.Make (predicate, consequent, (Argument) alternative) :
         (alternative is Quotation) ? PCondIsEqXXXQ.Make (predicate, consequent, (Quotation) alternative) :
         (alternative is StaticVariable) ? Unimplemented () :
         new PCondIsEq (predicate, consequent, alternative);
 }

 public static SCode Make (PrimitiveCombination2 predicate, SCode consequent, SCode alternative)
 {
     return
         //(predicate is PrimitiveGreaterThanFixnum) ? PCondGreaterThanFixnum.Make ((PrimitiveGreaterThanFixnum) predicate, consequent, alternative) :
         (predicate is PrimitiveIsEq) ? PCondIsEq.Make ((PrimitiveIsEq) predicate, consequent, alternative) :
         //(predicate is PrimitiveLessThanFixnum) ? PCondLessThanFixnum.Make ((PrimitiveLessThanFixnum) predicate, consequent, alternative) :
         //(predicate is PrimitiveIsObjectType) ? PCondIsObjectType.Make ((PrimitiveIsObjectType) predicate, consequent, alternative) :
         //(predicate is PrimitiveRecordRef) ? PCondRecordRef.Make ((PrimitiveRecordRef) predicate, consequent, alternative) :
         //(predicate is PrimitiveVectorRef) ? PCondVectorRef.Make ((PrimitiveVectorRef) predicate, consequent, alternative) :
         (predicate.Operand0 is Argument) ? PCond2A.Make (predicate, consequent, alternative) :
         (predicate.Operand0 is Quotation) ? PCond2Q.Make (predicate, consequent, alternative) :
         (predicate.Operand0 is StaticVariable) ? PCond2S.Make (predicate, consequent, alternative) :
         (predicate.Operand1 is Argument) ? PCond2XA.Make (predicate, consequent, alternative) :
         (predicate.Operand1 is Quotation) ? PCond2XQ.Make (predicate, consequent, alternative) :
         (predicate.Operand1 is StaticVariable) ? PCond2XS.Make (predicate, consequent, alternative) :
         (consequent is Argument) ? PCond2XXA.Make (predicate, (Argument) consequent, alternative) :
         (consequent is Quotation) ? PCond2XXQ.Make (predicate, (Quotation) consequent, alternative) :
         (consequent is StaticVariable) ? Unimplemented():
         (alternative is Argument) ? PCond2XXXA.Make (predicate, consequent, (Argument) alternative) :
         (alternative is Quotation) ? PCond2XXXQ.Make (predicate, consequent, (Quotation) alternative) :
         (alternative is StaticVariable) ? Unimplemented():
         new PCond2 (predicate, consequent, alternative);
 }

 public static new SCode Make(PrimitiveCombination2 predicate, SCode consequent, SCode alternative)
 {
     return
         //(consequent is Argument) ? PCondIsEqA0SA.Make (predicate, (Argument) consequent, alternative) :
         //(consequent is Quotation) ? PCondIsEqA0SQ.Make (predicate, (Quotation) consequent, alternative) :
         //(consequent is StaticVariable) ? PCondIsEqA0SS.Make (predicate, (StaticVariable) consequent, alternative) :
         //(alternative is Argument) ? PCondIsEqA0SXA.Make (predicate, consequent, (Argument) alternative) :
         //(alternative is Quotation) ? PCondIsEqA0SXQ.Make (predicate, consequent, (Quotation) alternative) :
         //(alternative is StaticVariable) ? PCondIsEqA0SXS.Make (predicate, consequent, (StaticVariable) alternative) :
         new PCondIsEqCarA0S (predicate, consequent, alternative);
 }

 protected PCondIsEqCarA0(PrimitiveCombination2 predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
 }

 protected PCondIsEqCarA(PrimitiveCombination2 predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.rand0Offset = ((Argument) ((PrimitiveCar) predicate.Operand0).Operand).Offset;
 }

 protected PCond2SQXQ (PrimitiveCombination2 predicate, SCode consequent, Quotation alternative)
     : base (predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }

 protected PCond2SQ (PrimitiveCombination2 predicate, SCode consequent, SCode alternative)
     : base (predicate, consequent, alternative)
 {
     this.rand1Value = ((Quotation) predicate.Operand1).Quoted;
 }

 protected PCond2SA (PrimitiveCombination2 predicate, SCode consequent, SCode alternative)
     : base (predicate, consequent, alternative)
 {
     this.rand1Offset = ((Argument) predicate.Operand1).Offset;
 }

 protected PCond2SQXA (PrimitiveCombination2 predicate, SCode consequent, Argument alternative)
     : base (predicate, consequent, alternative)
 {
     this.alternativeOffset = alternative.Offset;
 }

 protected PCond2SQXA0 (PrimitiveCombination2 predicate, SCode consequent, Argument0 alternative)
     : base (predicate, consequent, alternative)
 {
 }

 protected PCond2A0SA (PrimitiveCombination2 predicate, Argument consequent, SCode alternative)
     : base (predicate, consequent, alternative)
 {
     this.consequentOffset = consequent.Offset;
 }

 protected PCond2SQQ (PrimitiveCombination2 predicate, Quotation consequent, SCode alternative)
     : base (predicate, consequent, alternative)
 {
     this.consequentValue = consequent.Quoted;
 }

 protected PCond2SQQS (PrimitiveCombination2 predicate, Quotation consequent, StaticVariable alternative)
     : base (predicate, consequent, alternative)
 {
     this.alternativeName = alternative.Name;
     this.alternativeOffset = alternative.Offset;
 }

 protected PCondIsEqCarA0S(PrimitiveCombination2 predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.rand1Name = ((StaticVariable) predicate.Operand1).Name;
     this.rand1Offset = ((StaticVariable) predicate.Operand1).Offset;
 }

 protected PCond2SQS (PrimitiveCombination2 predicate, StaticVariable consequent, SCode alternative)
     : base (predicate, consequent, alternative)
 {
     this.consequentName = consequent.Name;
     this.consequentOffset = consequent.Offset;
 }