Hello. One quick question: Is there no predefined way to calculate the intersection of two PointsTo-sets? I mean I know how to check for nonempty intersection but for my purposes I want to store the intersection if it exists. Cheers, Eric -- Eric Bodden Sable Research Group, McGill University Montreal, Canada