ptg: add rebuild method

This method takes new PointsToCategories and rebuild the
Graph according it.

It splits nodes that contains elements
with more than one category and then continues in creating
fixpoint