testOrDoubleAssignment

Tests the query

';'(X=1, X=2).

succeeds on a solver initialized with default built-ins and with and empty theory, producing 2 solutions which bind variable X to the values 1 and 2, respectively.