Replace logic for selecting best inference leaf in the graph during an unsticking round Reviewed-by: jjg
Maurizio Cimadamore