Output
Head
Inl
Inr
IsInl
Tail
operand
Head
Inl
Inr
IsInl
Tail