sig
  type t
  val print : Format.formatter -> t -> unit
  val owner : t -> Model.AUTOMATON.Owner.t
  val is_controllable : t -> bool
  val source : t -> Model.AUTOMATON.Location.t
  val target : t -> Model.AUTOMATON.Location.t
  val command : t -> Command.t
end