Add Z3 being available as a precondition for the tests.