dfg
search lazy
complete search
done