Proofs in conflict-driven theory combination