Add symbolic test cases