Fix #6120: Null coalesce non-null result implies the caller not to be null - not reflected in consequent conditions

Fix #6120: Null coalesce non-null result implies the caller not to be null - not reflected in consequent conditions #60