feat(tools/codegen/code_bmc): add const fold.