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