add the symbolic pragma to the translator