Symbol: group_test_correctness