Fixed Symbolraetsel output AST and adjusted ArithFormer ( all clear ! )