added cache of enumeratet symbolic sets