As rightly pointed out by @​rici in this SO post, the expression 4 + 3 not in (7, 8) groups as 4 + (3 not in (7,8)), which produces a nonsense answer 4 + true == 5. This will be fixed in v3.