Revert "dummy"

This reverts commit dea3edfc2eeab40e2a0b84d6810670c41cbddd7f.
refactoring Boogie method contract

- add unit testing suites
- refactoring Boogie method contract