Do not propagate nullability across operator "IS [NOT] NULL"
Do not propagate nullability across operator "IS [NOT] NULL"

Since we enforce its result not to be null and its operand to be.

PerformanceVision/ramen,PerformanceVision/ramen