diff --git a/src/compiler.c b/src/compiler.c
index 67d49ef..705e3e9 100644
--- a/src/compiler.c
+++ b/src/compiler.c
@@ -2194,8 +2194,10 @@ preprocess (const System sys)
   /*
    * Check well-formedness
    */
+  /* TODO Temporarily disabled wellformedness check (well-formedness) after Simon bug reporting.
   if (sys->knowledgedefined)
     {
       checkWellFormed (sys);
     }
+  */
 }