sig val indomain : Facile.Var.SetFd.t -> Facile.Goals.t end