FILE: functionsWithContract.kt
    public final fun test1(arg: R|kotlin/Any?|): R|kotlin/Unit|
        [R|Contract description]
         <
            Returns(WILDCARD) -> arg != null
        >
     {
        R|kotlin/require|(!=(R|<local>/arg|, Null(null)))
    }
    public final fun test2(s: R|kotlin/String?|, block: R|() -> kotlin/Unit|): R|kotlin/Unit|
        [R|Contract description]
         <
            Returns(WILDCARD) -> s != null
            CallsInPlace(block, EXACTLY_ONCE)
        >
     {
        R|kotlin/require|(!=(R|<local>/s|, Null(null)))
        R|<local>/block|.R|SubstitutionOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()
    }
    public final fun test3(arg: R|kotlin/Any?|): R|kotlin/Boolean|
        [R|Contract description]
         <
            Returns(TRUE) -> arg != null
        >
     {
        R|kotlin/require|(!=(R|<local>/arg|, Null(null)))
        ^test3 Boolean(true)
    }
