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