enabled large set- symbolic set on default. enumeration of functions (for some cases) is done lazyly in the symbolic_set modul