if the symbolic attribute exists, check if it is set on a particular constant
Merge branch 'develop' into feature/cbc_refinement