Initial pass at #66
Merge branch 'master' into extract_tests
Extract tests to filter items that can't be unified with equality.
Add support for working with previously bound variables inside accumulators
More consistent naming conventions.
Merge branch 'extract_tests'
Merge extract_tests branch to support predicates that access variables bound in previous constraints.