| Box.V (_,b::bl')::tl ->
aux_h current_s [b] ;
aux_h (String.make (String.length current_s) ' ') (Box.V([],bl')::tl)
+ | Box.HV _ :: _ | Box.HOV _ :: _ -> assert false (* not implemented *)
| Box.Object (_,obj)::tl -> aux_h (current_s ^ (object_to_string obj)) tl
| (Box.Action _)::tl -> assert false
| (Box.Ink _)::tl -> aux_h (current_s ^ "----------") tl