Prog
  WholeExp
    WHOLE '3' [-:1:1]
Prog
  SubExp
    WholeExp
      WHOLE '3' [-:3:3]
    WholeExp
      WHOLE '2' [-:3:5]
Prog
  SubExp
    SubExp
      WholeExp
        WHOLE '4' [-:5:5]
      WholeExp
        WHOLE '1' [-:5:7]
    SubExp
      WholeExp
        WHOLE '3' [-:5:13]
      WholeExp
        WHOLE '2' [-:5:15]
