Symbol: check_declaration