let env_state env = function | Pre -> env.e_pre | Here -> env.e_here | Old -> extract_opt_env env.e_old | Post -> extract_opt_env env.e_post