Dec 1: preliminary work on DFS
Merge branch 'master' of https://github.com/wendytyin/Defiler