Modified intratrace Z3str test (now SAT).