Tests on windows using multiple models fails

Some tests cannot run on windows, for example the test_race_condition::test_race_condition_1 with arguments llvm=True. The test passes on Linux systems, but fails on windows. Simply speaking the model returns incorrect values. In some cases the execution crashes with segmentation fault.