GlobSolverFromEqSolver.Splitter
val split_solution : [< `Bot | `Lifted1 of 'a & 'b | `Lifted2 of S.D.t & 'c | `Top ] VH.t -> S.D.t LH.t * 'd GH.t