Exist and ForAll evaluation have been changed to be adapted to the new 'and' and 'or' semantic (invalid or true = true, etc). For example: an expression like Set{true, null}->exists(b | b) returned invalid, but now returns true