bug fix for bad case of refactoring (interface, no annotation...)
new analysis for bad interfaces
add the new command for bad interface
test for command badcontract
print info for application
Merge branch 'rei_rebase'