let on_pragma f =
List.fold_left
(fun acc (s, a) ->
match a with
| User a ->
(match a.annot_content with
| APragma (Impact_pragma IPstmt) -> f acc s
| APragma (Impact_pragma (IPexpr _)) ->
raise (Extlib.NotYetImplemented "impact pragmas: expr")
| _ -> assert false)
| _ -> assert false)