PMLExport: address export - find base array

* algorithm to find the base of computed array accesses
PMLExport: export value facts for addresses
PMLExport: fixed valuefact export; export to AIS
PMLExport: replaced assertion by a debug note