8020149: Graph inference: wrong logic for picking best variable to solve
Summary: Replace logic for selecting best inference leaf in the graph during an unsticking round
Reviewed-by: jjg