add test case generator for arouq and practice bloom filter