elision/elision — pull request #229 by heiseda (2014-09-09 14:55:15+00:00)
Title: Expanded Bound Variable Elimination

In commutative matching, we now perform elimination on all variables bound to constant atoms.