Revert "PTA: use bitvector-based points-to set representation"
Revert "PTA: use bitvector-based points-to set representation"

This reverts commit 74f5d133452018f5e933ab864446bdb720fa84b9.

mchalupa/dg,mchalupa/dg,mchalupa/dg,mchalupa/dg