Provides operators for conditioned branching.