public override Statement VisitExpressionStatement(ExpressionStatement statement)
{
Method contractMethod = Rewriter.ExtractCallFromStatement(statement);
if (contractMethod == null)
{
return(base.VisitExpressionStatement(statement));
}
if (this.rcm.ContractNodes.IsInvariantMethod(contractMethod))
{
return(RewriteContractCall(statement, contractMethod, this.rcm.InvariantMethod, this.sourceTextOfInvariant));
}
return(base.VisitExpressionStatement(statement));
}