let var_is_bound = Var.is_free