set debug flag optionally from CPP command line

for B2Program model checker

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>

src/main/resources/de/hhu/stups/codegenerator/CppTemplate.stg

@@ -1780,11 +1780,7 @@ int main(int argc, char *argv[]) {
         return - 1;
     }
 
-    bool isDebug = (argc>=5 && std::string("true").compare(argv[4])) ? true : false;
-    
-    if (isDebug) {
-      cout \<\< "Model checking with B2Program."  \<\< endl;
-    }
+    bool isDebug = (argc>=5 && std::string("true").compare(argv[4])==0) ? true : false;
 
     ModelChecker modelchecker(type, threads, isCaching, isDebug);
     modelchecker.modelCheck();