diff --git a/src/helpers/convertersAndTransformers.ts b/src/helpers/convertersAndTransformers.ts
index 47c47511b6a0e5ce6a8a17d506ee04de65e8f3c2..69be066d292da4abbad162165609e0a8a81bd812 100644
--- a/src/helpers/convertersAndTransformers.ts
+++ b/src/helpers/convertersAndTransformers.ts
@@ -878,7 +878,7 @@ export function convertTestProtocol(protocol: ReadonlyArray<string>,
     })
 
   }
-  else if (testType.internalName === KnownInternalTestTypes.externalCheckerTest) {
+  else if (testType.internalName === KnownInternalTestTypes.externalCheckerTest || testType.internalName === KnownInternalTestTypes.externalCheckerStructuralInductionTest) {
 
     return protocol.map<TestProtocolItem>(line => {
 
@@ -888,7 +888,7 @@ export function convertTestProtocol(protocol: ReadonlyArray<string>,
 
         //some normal lines from the checker
         return {
-          type: TestProtocolType.isOutput,
+          type: TestProtocolType.plain,
           hasOutputMismatched: false,
           content: line.substring(TestProtocol.outputSign.length),
         }
diff --git a/src/types/testTypes.ts b/src/types/testTypes.ts
index 025afec546cd547c90b96a5c03b0905d168f669e..a8755fd5d241e976b2e7aac2f4f181976d0ed9f7 100644
--- a/src/types/testTypes.ts
+++ b/src/types/testTypes.ts
@@ -30,6 +30,7 @@ export enum KnownInternalTestTypes {
   compileTest = 'compileTest',
   regexTest = 'regexTest',
   externalCheckerTest = 'externalCheckerTest',
+  externalCheckerStructuralInductionTest = 'externalCheckerStructuralInductionTest',
   /**
    * in this case the test content is
    * @see CompareFileTestContentFrontendOnly[]