Better readability of limit
Removing unused class member
order_heap should contain variables queued for var-replacement
Use the more safe '<' comparator
Code cleanup in DIMACS parser
Merge branch 'bug'