tests: Also test Bools in program simulation