fix stepping into last command

lang/src/main/java/edu/kit/iti/formal/psdbg/parser/TransformAst.java

@@ -114,6 +114,7 @@ public class TransformAst implements ScriptLanguageVisitor<Object> {
             s.setSignature(sig);
         }
         s.setBody((Statements) ctx.body.accept(this));
+        s.getBody().setParent(s);
         return s;
     }
 

rt/src/main/java/edu/kit/iti/formal/psdbg/interpreter/dbg/DebuggerFramework.java

@@ -134,7 +134,7 @@ public class DebuggerFramework<T> {
     private void run() {
         try {
             interpreter.interpret(mainScript);
-            //dummyproofnode
+            ptreeManager.fireStatePointerChanged();
             succeedListener.accept(this);
         } catch (Exception e) {
             error = e;