Idempotent region verification now considering phi nodes