Env: remove incremental cache management
Env: check cache consistency & delegate caching to Cmi_cache