move method effects analysis into disjoint analysis.