@Test
public void setupTest() {

    int n = 5;
    PermutationGroup group = new PermutationGroup(n);
    Graph g = new Graph(n);
    MockRefiner refiner = new MockRefiner(g);
    setup(refiner, group, g);
    Assert.assertEquals(group, refiner.getAutomorphismGroup());
}