reduce number of states with 100
solve the bug in equals(150000 states less)
Merge pull request #9 from nelly-hateva/changes

Changes