getting definite reach analysis set up as a fixed point piggy-back to disjoint