[Arul] Implement caching matric inverse assignment