Exploiting the structure of the constraint graph for efficient points-to analysis.