\documentclass[border=10pt]{standalone}
\usepackage[en]{superderive}
\begin{document}
\begin{tikzpicture}
\sdstage{S}{smoke}
\sdrow{R1}
  \sdbox{a}{x}
  \sdsubst{b}{x}{y}
  \sdcancel{c}{z}
\sdrowend
\sdbbox{all}
\sdtopformula{F}{$x\to y$}
\sdmeaningbox{mb}{80mm}{all}{idea}{rewrite}{caveat}
\end{tikzpicture}
\end{document}