refactoring for disjointness analysis integration