let on_pragma f =
  List.fold_left
    (fun acc (s, a) ->
       match a with
       | Before (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)