Product of two BTTO, \( \hat r = \hat b \hat a \), i.e. b is applied after a if r is applied to a state.
b
a
r
References syten::BinaryTree::Tree< Tensor< 5 > >::r.