Expanded bound variable elimination to eliminate all non-bindables.
Moved most of ACMatcher.tryMatch functionatlity to a private function.
Need to eliminate based on isConstant
Merge pull request #229 from heiseda/master

Expanded Bound Variable Elimination