Condensed because funct_name is some sort of string literal -- it can be a direct STRINGLITERAL, an ID, a result of an array access (names[0]), or a function call that returns a string. The tree walker must type check this