public void Visit(PropertyNode node)
        {
            if (!scope.IsDefinedType(node.formal.type.Text, out TypeInfo type))
            {
                errors.Add(ErrorSemantic.NotDeclaredType(node.formal.type));
            }

            if (scope.IsDefined(node.formal.id.text, out TypeInfo t))
            {
                errors.Add(ErrorSemantic.RepeatedVariable(node.formal.id));
            }

            scope.Define(node.formal.id.text, type);
        }