Symbol: ExprHasProperty