Propagation for inline recursive combinators