| | `--> 4r
  | | `--> 3c
  | |   +--> 3.C
  | |   +--> 4.ACD
  | | `--> proba1