fix bugs in solver_describe_decision and solver_describe_weakdep_decision