showing goal/hyps as (xml) treee