sig
  val order_equations :
    bool ->
    (LustreIdent.t *
     (LustreIndex.index list LustreIndex.t *
      LustreIndex.index list LustreIndex.t))
    list ->
    LustreNode.t ->
    LustreNode.equation list * LustreIndex.index list LustreIndex.t
  val node_is_abstract : Analysis.param -> LustreNode.t -> bool
  val slice_to_abstraction :
    ?preserve_sig:bool ->
    Analysis.param -> LustreNode.t SubSystem.t -> LustreNode.t SubSystem.t
  val slice_to_abstraction_and_property :
    ?preserve_sig:bool ->
    Analysis.param ->
    StateVar.StateVarSet.t ->
    LustreNode.t SubSystem.t -> LustreNode.t SubSystem.t
end