sig
  val useful_instances :
    Node.t -> Node.t list -> (Node.t * Variable.subst) list
end