Merge pull request #227 from heiseda/master

Bound Variable Elimination