Add m-CFA addresses
Fix m-CFA to avoid ticking before doing the allocation
Add position information in addresses
Add position to ObjectProps to fix objs-imprecision test
Support GetFieldBody and SetFieldArgs in m-CFA