Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability.