ASSIGN_LEFT:
Substitutor: <map substitutor: {A = it(kotlin/Int & T), B = it(kotlin/Int & T), C = it(kotlin/Int & T)}>
Substituted pairs:
it(kotlin/Int & T) <: T (Original: A <: T)

ASSIGN_RIGHT:
Substitutor: <map substitutor: {T = A, X = A, R = A}>
Substituted pairs:
A <: A (Original: A <: T)

ASSIGN_ALL:
Substitutor: <map substitutor: {T = kotlin/Number, X = kotlin/Number, R = kotlin/Number, A = kotlin/Int, B = kotlin/Int, C = kotlin/Int}>
Substituted pairs:
kotlin/Int <: kotlin/Number (Original: A <: T)
