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