The used terminal is a little buggy, especially what
concerns variable display of answers. I get:

But the expected result would be:

That it doesn’t show the second query in the more compact form
“X=Y, Y=3” instead of “X=3; Y=3” isn’t that much a problem. But
that it suppresses “X=Y” in the first query is a little confusing.
There is one more error:

The expected result would be:

The used terminal is a little buggy, especially what
concerns variable display of answers. I get:
But the expected result would be:
That it doesn’t show the second query in the more compact form
“X=Y, Y=3” instead of “X=3; Y=3” isn’t that much a problem. But
that it suppresses “X=Y” in the first query is a little confusing.
There is one more error:
The expected result would be: