\begin{circustimelaw}{split-time-budget-2}
\begin{circusaction*}
  \circwait 0 \upto t ~ \refby ~ \circwait 0 \upto t_1 \circseq \circwait 0 \upto t_2 \; \provided \; t_1 + t_2 \leq t
\end{circusaction*}
\end{circustimelaw}
