Function assumeNotElement

src/compute-engine/assume.ts:249–257

* Assume `NotElement(x, S)`: store an exclusion fact (design §4.1).

(proposition: Expression)

};

const UNSUPPORTED_PREDICATE_OPERATORS = new Set<string>([
  'Or',
  'Not',
  'Implies',
  'Equivalent',
  'Xor',
  'Nand',
  'Nor',
  'ForAll',
  'Exists',
  'ExistsUnique',
  'ForElement',