CompositeNDP                                                                     
│    provides   a   SB(≥0) s │ requires   x   SB(≥0) s                           
│                            │ requires   y   SB(≥0) s                           
│  4 nodes, 3 edges                                                              
│   connected rec: ✓                                                             
│  provided a             ≤ _result provided by _invplus   equiv id              
│  x required by _invplus ≤ required x                     equiv id              
│  y required by _invplus ≤ required y                     equiv id              
└ SimpleWrap                                                                     
  │  provides   _result   SB(≥0) s │ requires   x   SB(≥0) s                     
  │                                │ requires   y   SB(≥0) s                     
  └ M_Fun_AddMany_DP SB(≥0) s  ⇸  SB(≥0)×SB(≥0) ⟨s,s⟩                            
     𝒇 ≤ 𝒓₁ + 𝒓₂                                                                 
    ├   opspace: SB(≥0) s                                                        
    ├        Rs: ├ SB(≥0) s                                                      
    │            └ SB(≥0) s                                                      
    ├ Rs_labels: ├ x                                                             
    │            └ y                                                             
    └      algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT