disable symbolic tests