CompositeNDP                                                                                    
│    provides   worst_accuracy   SB(≥0)                 │ requires   baseline_accuracy   SB(≥0) 
│    provides   shift_const      SB(≥0) dimensionless/s │                                       
│    provides   deploy_time      SB(≥0) s               │                                       
│  6 nodes, 5 edges                                                                             
│   connected rec: ✓                                                                            
│  provided deploy_time     ≤ deploy_time provided by _prod     equiv id                        
│  provided shift_const     ≤ shift_const provided by _prod     equiv id                        
│  provided worst_accuracy  ≤ worst_accuracy provided by _sum   equiv id                        
│  _res required by _prod   ≤ _res provided by _sum             equiv id                        
│  _result required by _sum ≤ required baseline_accuracy        equiv id                        
├ _prod: SimpleWrap                                                                             
│        │  provides   deploy_time   SB(≥0) s               │ requires   _res   SB(≥0)          
│        │  provides   shift_const   SB(≥0) dimensionless/s │                                   
│        └ M_Res_MultiplyMany_DP SB(≥0)×SB(≥0) ⟨s,dimensionless/s⟩  ⇸  SB(≥0)                   
│           𝒇₁⋅𝒇₂ ≤ 𝒓                                                                           
│          ├   Fs: ├ SB(≥0) s                                                                   
│          │       └ SB(≥0) dimensionless/s                                                     
│          └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT             
└  _sum: SimpleWrap                                                                             
         │  provides   worst_accuracy   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