Is this more generally stated as `case IsNull(e) if e.nullable == false => false`?  Similarly below.