When analyzing an expression like t.1.is_null(), where t.1 has a tuple type, the analysis assumes that this touches all fields of t.1. In fact, this expression does not touch any of the fields of t.1.

Nullable tuples show up because the right input of a left-join expects a nullable tuple type for the values.

This makes the analysis of many left joins overly conservative.