Fix conversion of explicit constructor invocations

Author: unp1

key.core/src/main/java/de/uka/ilkd/key/java/ast/reference/ThisConstructorReference.java

@@ -3,6 +3,10 @@
  * SPDX-License-Identifier: GPL-2.0-only */
 package de.uka.ilkd.key.java.ast.reference;
 
+import java.util.List;
+
+import de.uka.ilkd.key.java.ast.Comment;
+import de.uka.ilkd.key.java.ast.PositionInfo;
 import de.uka.ilkd.key.java.ast.expression.Expression;
 import de.uka.ilkd.key.java.visitor.Visitor;
 
@@ -44,6 +48,17 @@ public ThisConstructorReference(ImmutableArray<Expression> arguments) {
         super(arguments);
     }
 
+    /**
+     * This constructor reference.
+     *
+     * @param arguments
+     *        an expression mutable list.
+     */
+    public ThisConstructorReference(ImmutableArray<Expression> arguments, PositionInfo pi,
+            List<Comment> comments) {
+        super(arguments, pi, comments);
+    }
+
 
     /**
      * Constructor for the transformation of COMPOST ASTs to KeY.

key.core/src/main/java/de/uka/ilkd/key/java/loader/JP2KeYConverter.java

@@ -602,7 +602,8 @@ public Object visit(ExplicitConstructorInvocationStmt n, Void arg) {
         var pi = createPositionInfo(n);
         var c = createComments(n);
         ImmutableArray<Expression> args = map(n.getArguments());
-        return new SuperConstructorReference(args, pi, c);
+        return n.isThis() ? new ThisConstructorReference(args, pi, c)
+                : new SuperConstructorReference(args, pi, c);
     }
 
     @Override