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