feat(tools/codegen/code_bmc): basic annotation for varibale.