Fix the bug in the construction of the Envirorment

In the construction of the Env we move on load all the vars and method without looking if they are time related or not. The variables have inside the IM the information about their status of time related. Instead, the method where concerned as time related always. Moreover, when we add flag to the Env we inserted them in the top most only and not at the level where the variable is visible. Thus, if we add a flag in an if where the var is declare before it, we lose such flag. We resolve the bug putting the flags in the same env of the var. With this merge we fix such bugs.