Fix for bug with pi nodes reported by Andreas Sewe

We weren't handling the case where the val of the pi instruction
had an implicit points-to set.