125 			BinaryOperator op;  in ConstantFact()
138 							case BinaryOperator.Add:        return ((l + r) != 0).ToTrueOrTop ();  in ConstantFact()
139 							case BinaryOperator.And:        return ((l & r) != 0).ToTrueOrTop ();  in ConstantFact()
140 							case BinaryOperator.Ceq:        return (l == r).ToTrueOrTop ();  in ConstantFact()
141 							case BinaryOperator.Cobjeq:     return ProofOutcome.Top;  in ConstantFact()
142 							case BinaryOperator.Cne_Un:     return (l != r).ToTrueOrTop ();  in ConstantFact()
143 							case BinaryOperator.Cge:        return (l >= r).ToTrueOrTop ();  in ConstantFact()
144 							case BinaryOperator.Cge_Un:     return ((uint)l >= (uint)r).ToTrueOrTop ();  in ConstantFact()
145 							case BinaryOperator.Cgt:        return (l > r).ToTrueOrTop ();  in ConstantFact()
146 							case BinaryOperator.Cgt_Un:     return ((uint)l > (uint)r).ToTrueOrTop ();  in ConstantFact()
147 							case BinaryOperator.Cle:        return (l <= r).ToTrueOrTop ();  in ConstantFact()
148 							case BinaryOperator.Cle_Un:     return ((uint)l <= (uint)r).ToTrueOrTop ();  in ConstantFact()
149 							case BinaryOperator.Clt:        return (l < r).ToTrueOrTop ();  in ConstantFact()
150 							case BinaryOperator.Clt_Un:     return ((uint)l < (uint)r).ToTrueOrTop ();  in ConstantFact()
151 							case BinaryOperator.Div:        return (r != 0 && ((l / r) != 0)).ToTrueOrTop ();  in ConstantFact()
152 							case BinaryOperator.LogicalAnd: return (l != 0 && r != 0).ToTrueOrTop ();  in ConstantFact()
153 							case BinaryOperator.LogicalOr:  return (l != 0 || r != 0).ToTrueOrTop ();  in ConstantFact()
154 							case BinaryOperator.Mul:        return (l * r != 0).ToTrueOrTop ();  in ConstantFact()
155 							case BinaryOperator.Or:         return ((l | r) != 0).ToTrueOrTop ();  in ConstantFact()
156 							case BinaryOperator.Rem:        return (r != 0 && (l % r != 0)).ToTrueOrTop ();  in ConstantFact()
157 							case BinaryOperator.Shl:        return (l << r != 0).ToTrueOrTop ();  in ConstantFact()
158 							case BinaryOperator.Shr:        return (l >> r != 0).ToTrueOrTop ();  in ConstantFact()
159 							case BinaryOperator.Sub:        return (l - r != 0).ToTrueOrTop ();  in ConstantFact()
160 							case BinaryOperator.Xor:        return ((l ^ r) != 0).ToTrueOrTop ();  in ConstantFact()
163 					if (op == BinaryOperator.Ceq && (leftIsInt && l == 0 || rightIsInt && r == 0))  in ConstantFact()
170 						case BinaryOperator.Cobjeq:  in ConstantFact()
172 						case BinaryOperator.Cne_Un:  in ConstantFact()