Dummygoalsnodes are visible
no script executed -> no nullpointer
symbex leads to infinity loop
remove scriptpanel in prooftree
matchexpression shown

TODO:
foreach start shown but still missing end
icon for scripttree needs to be included