PMLExport: following PHI nodes for address export
Merge branch 'addrphi'