functor (D : Domain) -> sig val fixpoint : Cil_types.kernel_function -> D.t -> D.t Interpreted_automata.Vertex.Hashtbl.t end