Variable_elimination loading ...