Problem 1: Symbolic Testing (20 points)