Create dominator.cpp