Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis