sig val indomain : Fcl_var.SetFd.t -> Fcl_goals.t end