sig
  val relevant : of_cube:Cube.t -> to_cube:Cube.t -> Variable.subst list
  val exhaustive : of_cube:Cube.t -> to_cube:Cube.t -> Variable.subst list
end