public void testRoot_4args_1() {
        System.out.println("testRoot_4args_1");
        testRoot_4args_1_test1(); // Test passes
        testRoot_4args_1_test2(); // Test passes
        testRoot_4args_1_test3(); // Test passes
        testRoot_4args_1_test4(); // Test passes
        testRoot_4args_1_test5(); // Test passes
        testRoot_4args_1_test6(); // Test passes
        //testRoot_4args_1_test7(); // Tests does not complete in a reasonable time frame
        //testRoot_4args_1_test8(); // Tests does not complete in a reasonable time frame
        //testRoot_4args_1_test9(); // Tests does not complete in a reasonable time frame
    }