FILE: simpleFunctionsContractDescription.kt
    public? final? fun test1(s: MyClass?): R|kotlin/Unit|
        [Contract description] <
            returns#().implies#(!=(s#, Null(null))),
            returns#().implies#((s# is MySubClass))
        >
     { LAZY_BLOCK }
    public? final? fun test2(): R|kotlin/Unit|
        [Contract description] <
            returnsNotNull#()
        >
     { LAZY_BLOCK }
