/// <summary>
/// Exit a parse tree produced by <see cref="PftParser.trace"/>.
/// <para>The default implementation does nothing.</para>
/// </summary>
/// <param name="context">The parse tree.</param>
public virtual void ExitTrace([NotNull] PftParser.TraceContext context)
{
}
public PftTrace(PftParser.TraceContext node)
: base(node)
{
Statement = new PftStatement(node.statement());
}