public class KaContractConditionalContractEffectDeclaration(
    private val backingEffect: KaContractEffectDeclaration,
    private val backingCondition: KaContractBooleanExpression
) : KaContractEffectDeclaration {
    override val token: KaLifetimeToken get() = backingEffect.token

    public val effect: KaContractEffectDeclaration get() = withValidityAssertion { backingEffect }