public override void LeaveMethod(Method node) { CheckParameterUniqueness(node); CheckName(node, node.Name); }