Bug fix to correctly restore bounds after trying to solve
Added functions to output abstract relations of variables after solving.