Added a test case for parallel assignment where variables on the left hand side appear on the right hand side. This test fails because parallel assign is incorrectly implemented in Symbooglix. This bug was discovered after many painful hours debugging a GPUVerify generated boogie program.
Added a test case for parallel assignment where variables on the left
hand side appear on the right hand side. This test fails because
parallel assign is incorrectly implemented in Symbooglix. This bug was
discovered after many painful hours debugging a GPUVerify generated
boogie program.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix