Fix case when post had two program variables pointing to the same thing
Fix case when post had two program variables pointing to the same thing

blzq/infer,blzq/infer,blzq/infer,blzq/infer,blzq/infer,blzq/infer