Failing havoc; failing / synonymous with quotient tests.
Comment on lift.
Teach prover about sub1 as a predicate.
Comment out 'predicate memo' rules.
F.
Moar tests.
fix pattern in scpcf's havoc rule + fix implementation of `/`
Merge pull request #17 from philnguyen/fix-havoc-and-div

fix pattern in scpcf's havoc rule + fix implementation of `/`