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