Make (
    struct
      let recompute = true
      let p_preserving = true
    end
  )