for symbolic2, two tests are failing