Propagation for inline recursive combinators
