public static SCode Make(PrimitiveIsSymbolS predicate, SCode alternative) { return (new POrIsSymbolS(predicate, alternative)); }
protected POrIsSymbolS(PrimitiveIsSymbolS predicate, SCode alternative) : base(predicate, alternative) { this.rand0Name = predicate.varname; this.rand0Offset = predicate.offset; }