/// <summary>
        ///   Normalizes the <paramref name="statement" />.
        /// </summary>
        public override SyntaxNode VisitExpressionStatement(ExpressionStatementSyntax statement)
        {
            if (!statement.Expression.IsKind(SyntaxKind.InvocationExpression))
            {
                return(statement);
            }

            var expression   = (InvocationExpressionSyntax)statement.Expression;
            var methodSymbol = expression.GetReferencedSymbol <IMethodSymbol>(SemanticModel);

            if (!methodSymbol.IsBindMethod(SemanticModel))
            {
                return(statement);
            }

            var requiredPortReferenceExpression = (InvocationExpressionSyntax)expression.ArgumentList.Arguments[0].Expression;
            var providedPortReferenceExpression = (InvocationExpressionSyntax)expression.ArgumentList.Arguments[1].Expression;

            var requiredPorts = requiredPortReferenceExpression.ResolvePortReferences(SemanticModel);
            var providedPorts = providedPortReferenceExpression.ResolvePortReferences(SemanticModel);

            requiredPorts.RemoveWhere(symbol => !symbol.IsRequiredPort(SemanticModel));
            providedPorts.RemoveWhere(symbol => symbol.IsRequiredPort(SemanticModel));

            if (methodSymbol.Arity == 1)
            {
                var delegateType = (INamedTypeSymbol)methodSymbol.TypeArguments[0];
                MethodSymbolFilter.Filter(requiredPorts, delegateType);
                MethodSymbolFilter.Filter(providedPorts, delegateType);
            }
            else
            {
                MethodSymbolFilter.Filter(requiredPorts, providedPorts);
            }

            // The analyzer guarantees that there is exactly one port in each set now, but just to be sure...
            Assert.That(requiredPorts.Count == 1, "Expected exactly one required port at this point.");
            Assert.That(providedPorts.Count == 1, "Expected exactly one provided port at this point.");

            var requiredPortExpression = requiredPortReferenceExpression.ArgumentList.Arguments[0].Expression;
            var providedPortExpression = providedPortReferenceExpression.ArgumentList.Arguments[0].Expression;

            var requiredPortReference = CreatePortReference(requiredPorts.Single(), requiredPortExpression);
            var providedPortReference = CreatePortReference(providedPorts.Single(), providedPortExpression);

            var binderType       = Syntax.TypeExpression(SemanticModel.GetTypeSymbol(typeof(PortBinding)));
            var binderInstance   = Syntax.ObjectCreationExpression(binderType, requiredPortReference, providedPortReference);
            var bindMemberAccess = Syntax.MemberAccessExpression(binderInstance, nameof(PortBinding.Bind));
            var invocation       = (ExpressionSyntax)Syntax.InvocationExpression(bindMemberAccess);

            return(statement.WithExpression(invocation).NormalizeWhitespace().WithTrivia(statement).PrependLineDirective(statement.GetLineNumber()));
        }