Merge pull request #231 from heiseda/master

Sorting fix and bound variable elimination expansion