removed content from symbolic pragma as it has no parameters
change attribute type of symbolic attribute from string to boolean in the translator
do not set the symbolic static checker on machines, only on constants = only in contexts
change "concrete" to "not symbolic"