let shrink_local_frame_env ~env = 
  env.local_binding <- List.tl env.local_binding