Some more debugging generalization w/ unsat cores