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