I'll add test cases with symbolic limits.