Function branches_are_sorted 

fn branches_are_sorted(left: &[SolutionItem], right: &[SolutionItem]) -> bool

Ordering predicate for each node of the SolutionItem tree