ASSIGN_LEFT:
Substitutor: <map substitutor: {C = A, B = A}>
Substituted pairs:
A <: A (Original: C <: A)

ASSIGN_RIGHT:
Substitutor: <empty substitutor>
Substituted pairs:
C <: A (Original: C <: A)

ASSIGN_ALL:
Substitutor: <map substitutor: {A = kotlin/Any?, C = kotlin/Any?, B = kotlin/Any?}>
Substituted pairs:
kotlin/Any? <: kotlin/Any? (Original: C <: A)
