let annotate_code_strlen file =
try
let strlen =
match Logic_env.find_all_logic_functions name_of_strlen with
| [i] -> i
| _ -> assert false
in
let visitor = new annotateCodeStrlen strlen in
visitFramacFile visitor file
with Not_found -> assert false