Fix reference syntax in dominance.py