Added dominator analysis by vassilis and a unit test
Just a new .gitignore