Add support for querying unsatisfiable cores