Wrong snapshots printed on target-multiple-access example.

[BenSpencer]

In cvc4result for this example I see a solution for SYM_TARGET_0__TOSTRING (as mentioned in the condition) but not for a full symbolic object, so there is a crash when trying to extract the solution.