add test case
- show a code structure makes java.lang.VerifyError