Symbol: check_controlling_expression