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 _prod   equiv id                
│  provided f_2           ≤ f_2 provided by _prod   equiv id                
│  _res required by _prod ≤ required r              equiv id                
└ SimpleWrap                                                                
  │  provides   f_1   SB(≥0) │ requires   _res   SB(≥0)                     
  │  provides   f_2   SB(≥0) │                                              
  └ M_Res_MultiplyMany_DP WU ⟨dimensionless,dimensionless⟩  ⇸  SB(≥0)       
                          (SB(≥0)×SB(≥0))                                   
     𝒇₁⋅𝒇₂ ≤ 𝒓                                                              
    ├   Fs: ├ SB(≥0)                                                        
    │       └ SB(≥0)                                                        
    └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT