Adding comments to unelimination
Inserting the varible to the variable order after unelimination
Fixing blocking & unelimination