swipl -t halt -g "[swigra2_batch]" | swipl -t halt -g "[forest2xml]"