CuckooHashSet updated.
Bug fixes in EBNFUtil