assert defined == [] and poison == []

[nunoplopes]

From David Majnemer:

Optimization: 1
Precondition: ((C0 & (computeKnownZeroBits(%x) ^ computeKnownOneBits(%x))) == 0)
  %r = and %x, C0
=>
  %r = (computeKnownZeroBits(%x) & C0)

Traceback (most recent call last):
  File "./alive.py", line 507, in <module>
    main()
  File "./alive.py", line 500, in main
    check_opt(opt)
  File "./alive.py", line 461, in check_opt
    check_typed_opt(pre, src, ident_src, tgt, ident_tgt, types, users)
  File "./alive.py", line 342, in check_typed_opt
    tgtv = toSMT(tgt, ident_tgt, False)
  File "~/alive/language.py", line 950, in toSMT
    assert defined == [] and poison == []