Remove redundant `(if ... true false)`