detect disjointness of instantiations of Sequence for #856