Check the reachability more precisely
Report if there are more than 1 solution