add example for dominators