MVP and MFP do a last round and return pairs, AExp and Signanalysis assume the worst for assignments to pointers, fixed some issues in MVP