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