\begin{circustimelaw}{remove-unused-wait-block}
\begin{circusaction*}
  \circwaitblock w : T \circspot A ~ \equiv ~ \circwait T \circseq A \; \provided \; w \notin \FV(A)
\end{circusaction*}
\end{circustimelaw}
