split up symbolic and concrete tests