ptg: fix hasNeighbours

when an edge was removed, then EdgesNo was not decreased
This lead to return true from hasNeighbours even when no
neighbours were present
ptg: don't do fixpoint

Shapiro-Horwitz algorithm works like Steensgaard algorithm. That is
it goes over each statement exactly once, so do not do fixpoint.