let var_d_bound = Var.d_free