fixed and/or not short-circuiting

benchmarks/model_checking/Rust/CAN_BUS_tlc.rs

...ks/model_checking/Rust/Cruise_finite1_deterministic_MC.rs

benchmarks/model_checking/Rust/LandingGear_R6.rs

benchmarks/model_checking/Rust/Lift_MC_Large.rs

benchmarks/model_checking/Rust/Makefile

benchmarks/model_checking/Rust/QueensWithEvents_4.rs

benchmarks/model_checking/Rust/QueensWithEvents_8.rs

benchmarks/model_checking/Rust/Train1_Lukas_POR_v3.rs

..._checking/Rust/Train_1_beebook_deterministic_MC_POR_v2.rs

benchmarks/model_checking/Rust/nota_v2.rs

benchmarks/model_checking/Rust/sort_m2_data1000_MC.rs

btypes_primitives/src/main/rust/btypes/src/bboolean.rs

btypes_primitives/src/main/rust/btypes/src/bset.rs

...ain/resources/de/hhu/stups/codegenerator/RustTemplate.stg

...ava/de/hhu/stups/codegenerator/rust/TestMCBenchmarks.java

...u/stups/codegenerator/Cruise_finite1_deterministic_MC.out

...st/resources/de/hhu/stups/codegenerator/Lift_MC_Large.out

...rces/de/hhu/stups/codegenerator/QueensWithEvents_8_MC.out