Add fsm/stategen_test.py
Add bloomfilter