casts met bools en SCL binops worden Hoare's conditionals