Merge pull request #229 from heiseda/master

Expanded Bound Variable Elimination