added default enumeration at basecalse symbolicset. added generator methods for symbolic functions.
added fail assert at two tests to prevent timeout.