fix to spec and implementation of disjointess analysis with multiple
instantiations with use-site variance #1029