public final fun embedInstancePredicate(x: R|kotlin/Any|, y: R|kotlin/Any?|): R|kotlin/Unit|
    [R|Contract description]
     <
        Returns(WILDCARD) -> x is kotlin/String && y is kotlin/String
    >


public final fun embedNullCheckPredicate(x: R|kotlin/Any?|, y: R|kotlin/Int?|): R|kotlin/Unit|
    [R|Contract description]
     <
        Returns(WILDCARD) -> y != null && x is kotlin/String
    >


public final fun R|kotlin/Boolean|.embedReceiverReference(b: R|kotlin/Boolean|): R|kotlin/Unit|
    [R|Contract description]
     <
        Returns(WILDCARD) -> (!this) && b
    >


public final fun embedVariable(x: R|kotlin/Any|, b: R|kotlin/Boolean|): R|kotlin/Unit|
    [R|Contract description]
     <
        Returns(WILDCARD) -> b && x is kotlin/String
    >
