code: def gen_bvar(curr):
      """
      Generate a boolean variable
      :param curr: the current counter
      :return: a boolean variable and an updated counter
      """
      curr += 1
      return BVar(curr), curr
  
imports: from torch.fx.experimental.migrate_gradual_types.constraint import TVar, DVar, BinConstraintD, BVar
  from torch.fx.experimental.migrate_gradual_types.operation import op_leq
label_desc: Use image node_id 3 for calling a global function with example usage: gen_bvar(curr) and returns: BVar,  curr