@kotlin.OptIn(markerClass = [kotlin.contracts.ExperimentalContracts::class])
fun booleanConstReferenceInImplies(): kotlin.Boolean
