Mapped unsat core back to clafer constraints.