sig
  val read_file : string list -> string -> (StateVar.t * Term.t list) list
end