Update SDD equality with proto_env.
Add stack, complete proto_env.