,-------------.         
|left         |         
|-------------|  ,-----.
|var : nat    |  |class|
|var2 : char  |  |-----|
|op(nat) : nat|  `-----'
`-------------'