Re-enabled VarDecs and LocalFuns annotation for high verbosity level

stringify.ml

@@ -148,12 +148,10 @@ and node2str node =
         "<scalar:" ^ str value ^ ">"
     | Arg node                     when args.verbose >= 3 ->
         "<arg:" ^ str node ^ ">"
-    (*
     | VarDecs nodes                when args.verbose >= 3 ->
         String.concat "\n" ("// vardecs" :: List.map str nodes)
     | LocalFuns nodes              when args.verbose >= 3 ->
         String.concat "\n" ("// localfuns" :: List.map str nodes)
-    *)
 
     | VarLet (dec, dims, value, _) ->
         node2str (Assign (nameof dec, dims, value, []))