[compile] handle `b==falseFunc` case in `reduceRules()`