sig val reachedStatement : Cil_types.stmt -> Cil_types.stmt -> DomComputer.t -> unit val compute : Cil_types.stmt list -> unit end