Function apply_unsat_diff 

pub fn apply_unsat_diff(
    result: &mut DiffResult,
    base_unsat: &[String],
    head_unsat: &[String],
)

Merge unsatisfiability sets into inference + breaking sections.