Found at least one problem, in FORMAL_CONSTRAINT_AS there is a `cache' attribute that will eventually refer to some CLASS_C objects and when saving the AST we also store the CLASS_C objects that are not small.