Fixed a state propagation bug in semi sparse interpreter.
Semi-sparse interpreter now uses only one env per context.
Also let the basic version and the semi-sparse version use a single
graph condense strategy.