┌─────────────┐         
│left         │         
├─────────────┤  ┌─────┐
│var : nat    │  │class│
│var2 : char  │  ├─────┤
│op(nat) : nat│  └─────┘
└─────────────┘