let pp_closure fmt = function 
    | Var vinfo -> Format.fprintf fmt "value of %a" !Ast_printer.d_var vinfo
    | Alloc ->  Format.fprintf fmt "allocation table"