Residual-Guided Look-Ahead in AND/OR Search for Graphical Models