indenting + maintaining of generating expressions
Starting constraint propagation
Transmiting var and identity expression
Environment GC + constraint handling