Added test that crashes during dominance computation.