}
// Verify that the node is a method node
Integer symbolKind = record.getSymbolKind();
if (symbolKind == Symbol.Method) {
PropertyInfo property = record.getPropertyInfo();
if (property == null || !(property instanceof MethodInfo)) {
addError(property, Fmt.S("The symbol '%s' does not resolve to a method.",
getMethodNameStr(node)));
return;
}