Improved SMT-LIBv2 language support for unsat cores.