Added minimal support for points-to set query. Still need some bug
fixes, thought