ASSIGN_LEFT:
Substitutor: <empty substitutor>
Substituted pairs:

ASSIGN_RIGHT:
Substitutor: <empty substitutor>
Substituted pairs:

ASSIGN_ALL:
Substitutor: <empty substitutor>
Substituted pairs:
