intersect when not empty
pts-to: implement the second algorithm

The multiple-run version of algorithm. Use IDBitsCategory there.
pts tests: add toPointsToSets tests

test coverting PTG to PointsToSets. Also add new variant of
check function (working with two pt sets)