CompositeNDP                                                                                               
│    provides   f_1   SB(≥0) │ requires   r   SB(≥0)                                                       
│    provides   f_2   SB(≥0) │                                                                             
│  8 nodes, 9 edges                                                                                        
│   connected rec: ✓                                                                                       
│  provided f_1                ≤ _op provided by _mult1      equiv id                                      
│  provided f_1                ≤ f_1 provided by _sum        equiv id                                      
│  provided f_2                ≤ _op provided by _mult       equiv id                                      
│  provided f_2                ≤ f_2 provided by _sum1       equiv id                                      
│  _res required by _mult      ≤ _res provided by _sum       equiv id                                      
│  _res2 required by _mult1    ≤ _res2 provided by _sum1     equiv id                                      
│  _res3 required by _r_join_n ≤ required r                  equiv id                                      
│  _result required by _sum    ≤ r_2 provided by _r_join_n   equiv id                                      
│  _result2 required by _sum1  ≤ r_1 provided by _r_join_n   equiv id                                      
├     _mult: SimpleWrap                                                                                    
│            │  provides   _op   SB(≥0) │ requires   _res   SB(≥0)                                         
│            └ DP_L_UME SB(≥0)  ⇸  SB(≥0)                                                                  
│               𝒇 ⋅ 4 ≤ 𝒓                                                                                  
│              M_C_WrapUnits   dimensionless → dimensionless > M_A_Mult1_Upper   SB(≥0)  →   same x ⟼ x ⋅ 4
├    _mult1: SimpleWrap                                                                                    
│            │  provides   _op   SB(≥0) │ requires   _res2   SB(≥0)                                        
│            └ DP_L_UME SB(≥0)  ⇸  SB(≥0)                                                                  
│               𝒇 ⋅ 2 ≤ 𝒓                                                                                  
│              M_C_WrapUnits   dimensionless → dimensionless > M_A_Mult1_Upper   SB(≥0)  →   same x ⟼ x ⋅ 2
├ _r_join_n: SimpleWrap                                                                                    
│            │  provides   r_1   SB(≥0) │ requires   _res3   SB(≥0)                                        
│            │  provides   r_2   SB(≥0) │                                                                  
│            └ DP_L_UME WU ⟨dimensionless,dimensionless⟩  ⇸  SB(≥0)                                        
│                       (SB(≥0)×SB(≥0))                                                                    
│               𝒇₁ ∨ 𝒇₂ ≤ 𝒓                                                                                
│              └ M_C_WrapUnits   ⟨dimensionless,dimensionless⟩ → dimensionless                             
│                M_Join   (SB(≥0)×SB(≥0))  →  SB(≥0) ⟨x₁,x₂⟩ ⟼ x₁ ∨ x₂                                     
├      _sum: SimpleWrap                                                                                    
│            │  provides   f_1    SB(≥0) │ requires   _result   SB(≥0)                                     
│            │  provides   _res   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                 
└     _sum1: SimpleWrap                                                                                    
             │  provides   _res2   SB(≥0) │ requires   _result2   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