Heuristic are broken at the moment

The heuristics don't work anymore. The problem is the changes we introduce in the Env class. Before only time related method and vars where added. That was a naive approach and it did not allow us to perform a fully verification of the code. ATM we put everything in the Environment structure. The fix should allow the heuristics to work with the new version of the Environment discriminating between what is time related and what is a normal object.