Use switch-case to handle symexpr kind.