That seems to be the case, moving the cache from FORMAL_CONSTRAINT_AS to CLASS_C solves the EIFGENs size issue on a small project. I'll verify this on a larger project.