Support adding dominated vertices, for testing