if the symbolic attribute exists, check if it is set on a particular constant