let new_env kf =
    let frame =
      WpModel.new_frame
        kf ~m_pre:None ~m_post:None ~m_here:None
        None
    in
    F.pool() , L.env_body frame