fix(code_bmc): allow specify time bound in code and option