diff --git a/test/defn/imp.kore b/test/defn/imp.kore
index bccd8575e..4ac67067f 100644
--- a/test/defn/imp.kore
+++ b/test/defn/imp.kore
@@ -1,8 +1,6 @@
 // RUN: %interpreter
 // RUN: %check-grep
 // RUN: %check-statistics
-// RUN: %gcs-interpreter
-// RUN: %check-grep
 // RUN: %proof-interpreter
 // RUN: %check-proof-out
 [topCellInitializer{}(LblinitGeneratedTopCell{}()), org'Stop'kframework'Stop'attributes'Stop'Source{}("Source(/home/robertorosmaninho/rv/k/llvm-backend/src/main/native/llvm-backend/test/defn/k-files/imp.md)")]