fixed C++ MC template

benchmarks/model_checking/C++/CAN_BUS_tlc.cpp

...ks/model_checking/C++/Cruise_finite1_deterministic_MC.cpp

benchmarks/model_checking/C++/LandingGear_R6.cpp

benchmarks/model_checking/C++/Lift_MC_Large.cpp

benchmarks/model_checking/C++/Makefile

benchmarks/model_checking/C++/Train1_Lukas_POR_v3.cpp

..._checking/C++/Train_1_beebook_deterministic_MC_POR_v2.cpp

benchmarks/model_checking/C++/nota_v2.cpp

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