protected PCondIsBigFixnumA1SQ(PrimitiveIsBigFixnumA1 predicate, SCode consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
 internal static SCode Make(PrimitiveIsBigFixnumA1 predicate, SCode consequent, Quotation alternative)
 {
     return new PCondIsBigFixnumA1SQ (predicate, consequent, alternative);
 }
 protected PCondIsBigFixnumA1SL(PrimitiveIsBigFixnumA1 predicate, SCode consequent, LexicalVariable alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeName = alternative.Name;
     this.alternativeDepth = alternative.Depth;
     this.alternativeOffset = alternative.Offset;
 }
 internal static SCode Make(PrimitiveIsBigFixnumA1 predicate, SCode consequent, LexicalVariable alternative)
 {
     return new PCondIsBigFixnumA1SL (predicate, consequent, alternative);
 }
 protected PCondIsBigFixnumA1QQ(PrimitiveIsBigFixnumA1 predicate, Quotation consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
 }
 internal static SCode Make(PrimitiveIsBigFixnumA1 predicate, Quotation consequent, Quotation alternative)
 {
     if (consequent.Quoted == alternative.Quoted) {
         Debug.WriteLine ("; Optimize (if <expr> <literal> <literal>) => (begin <expr> <literal>)");
         return Sequence2.Make (predicate, consequent);
     }
     else if (Configuration.EnableTrueUnspecific && consequent.Quoted == Constant.Unspecific) {
         Debug.WriteLine ("; Optimize (if <expr> <unspecific> <literal>) => (begin <expr> <literal>)");
         return Sequence2.Make (predicate, alternative);
     }
     else if (Configuration.EnableTrueUnspecific && alternative.Quoted == Constant.Unspecific) {
         Debug.WriteLine ("; Optimize (if <expr> <literal> <unspecific>) => (begin <expr> <literal>)");
         return Sequence2.Make (predicate, consequent);
     }
     throw new NotImplementedException ();
 }
 protected PCondIsBigFixnumA1QL(PrimitiveIsBigFixnumA1 predicate, Quotation consequent, LexicalVariable alternative)
     : base(predicate, consequent, alternative)
 {
 }
 internal static SCode Make(PrimitiveIsBigFixnumA1 predicate, Quotation quotation, LexicalVariable alternative)
 {
     throw new NotImplementedException ();
 }
 internal static SCode Make(PrimitiveIsBigFixnumA1 predicate, Quotation consequent, SCode alternative)
 {
     return
     (alternative is LexicalVariable) ? PCondIsBigFixnumA1QL.Make (predicate, consequent, (LexicalVariable) alternative)
     : (alternative is Quotation) ? PCondIsBigFixnumA1QQ.Make (predicate, consequent, (Quotation) alternative)
     : new PCondIsBigFixnumA1Q (predicate, consequent, alternative);
 }
 protected PCondIsBigFixnumA1Q(PrimitiveIsBigFixnumA1 predicate, Quotation consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentValue = consequent.Quoted;
 }
 protected PCondIsBigFixnumA1LQ(PrimitiveIsBigFixnumA1 predicate, LexicalVariable consequent, Quotation alternative)
     : base(predicate, consequent, alternative)
 {
     this.alternativeValue = alternative.Quoted;
 }
 protected PCondIsBigFixnumA1L(PrimitiveIsBigFixnumA1 predicate, LexicalVariable consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
     this.consequentName = consequent.Name;
     this.consequentDepth = consequent.Depth;
     this.consequentOffset = consequent.Offset;
 }
 protected PCondIsBigFixnumA1(PrimitiveIsBigFixnumA1 predicate, SCode consequent, SCode alternative)
     : base(predicate, consequent, alternative)
 {
 }