public void testRoot_4args_2() {
        System.out.println("testRoot_4args_2");
        testRoot_4args_2_test1(); // Test passes
        testRoot_4args_2_test2(); // Test passes
        testRoot_4args_2_test3(); // Test passes
        testRoot_4args_2_test4(); // Test passes
        testRoot_4args_2_test5(); // Test passes
        testRoot_4args_2_test6(); // Test passes
        //testRoot_4args_2_test7(); //@TODO This test either gets stuck or would take an age to complete.
        //testRoot_4args_2_test8(); //@TODO This test either gets stuck or would take an age to complete.
        //testRoot_4args_2_test9(); //@TODO This test either gets stuck or would take an age to complete.
        testRoot_4args_2_test10(); // Test passes
        testRoot_4args_2_test11(); // Test passes
        testRoot_4args_2_test12(); // Test passes
    }