[WIP] Don't add inequalities when not necessary#62

Robbybp wants to merge 5 commits intomainRobbybp/variable-elimination:mainfrom

boundsRobbybp/variable-elimination:boundsCopy head branch name to clipboard