CompositeNDP                                                                   
│    provides   f_1   SB(≥0) │ requires   r   SB(≥0)                           
│    provides   f_2   SB(≥0) │                                                 
│  4 nodes, 3 edges                                                            
│   connected rec: ✓                                                           
│  provided f_1             ≤ f_1 provided by _sum   equiv id                  
│  provided f_2             ≤ f_2 provided by _sum   equiv id                  
│  _result required by _sum ≤ required r             equiv id                  
└ SimpleWrap                                                                   
  │  provides   f_1   SB(≥0) │ requires   _result   SB(≥0)                     
  │  provides   f_2   SB(≥0) │                                                 
  └ M_Res_AddMany_DP WU ⟨dimensionless,dimensionless⟩  ⇸  SB(≥0)               
                     (SB(≥0)×SB(≥0))                                           
     𝒇₁ + 𝒇₂ ≤ 𝒓                                                               
    ├      Fs: ├ SB(≥0)                                                        
    │          └ SB(≥0)                                                        
    ├ opspace: SB(≥0)                                                          
    └    algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT