public override Cmd VisitCommentCmd(CommentCmd node)
{
Contract.Ensures(Contract.Result<Cmd>() == node);
return node;
}
public virtual Cmd VisitCommentCmd(CommentCmd node) {
Contract.Requires(node != null);
Contract.Ensures(Contract.Result<Cmd>() != null);
return node;
}