aligning the XML handler to CBMC 5.0
fixed nodes tracing