fixed nasty failure to drop constraints that was lreading to nontermination. refactored code around getting pts-to sets to eliminatesome redundancy