fixed retrieval of integer variables

So far, the problem seems to be solved. 
To make sure, we need to add some test for MIP: http://miplib.zib.de