Additional information about the Init environment
Definition of + for environments
Definition of the sequence of states of a program in the imperative semantic