pts-to: avoid lazy evaluation

It makes the loops ineffective.