Add a new special case to disjointness analysis