new inference: input/output inference variables
test data fixed
let IsNullCheck mean null->true, the former !null->false meaning was useless