CIL->SSM: Added support for field accesses