if branches both ways on symbolic B (boolean) values in the test position