Add semantic error checker

1. MccJumpInWhileChecker and related error class.
2. Update design.md
3. Update test case