Symbol: CTL_EXPRESSION