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