Added a more complicated 3 variable test for Z3.