fix Enlish of comment
Merge pull request #56 from xenophobia/bugfix

Bug fix: resolution check on macthing states
fix "https://github.com/egison/egison/pull/56#issuecomment-55673182"