Searching Graphs vs. Trees
lBasic ideas still apply, but
lIn graph, avoid re-searching same nodes due to fanin-in
lIn graph, avoid infinite loops.
lHow?