let pp_err fmt e = 
  let no_from = "no \\from information" in
  let pp_stmt_loc fmt s =
    Format.fprintf fmt "@[%a@]" Cil.d_loc (Cil_datatype.Stmt.loc s)
  in
  match e with
    | NoFromForCall s -> 
        Format.fprintf fmt "%s for call at @[%a@]" no_from pp_stmt_loc s
    | NoFromForLoop s -> 
        Format.fprintf fmt "%s for loop at @[%a@]" no_from pp_stmt_loc s
    | _ -> raise e