let pp_title fmt x =
    if x.vglob
    then Format.fprintf fmt "Global '%a'" !Ast_printer.d_var x
    else Format.fprintf fmt "Local '%a'" !Ast_printer.d_var x