Added Search.dfs in Search.oz