CompositeNDP                                                                          
│    provides   xsubsidy          SB(≥0) USD │ requires   revenue   SB(≥0) USD        
│    provides   purchase_cost     SB(≥0) USD │                                        
│    provides   fixed_cost_frac   SB(≥0)     │                                        
│    provides   fixed_costs       SB(≥0) USD │                                        
│  7 nodes, 6 edges                                                                   
│   connected rec: ✓                                                                  
│  provided fixed_cost_frac ≤ fixed_cost_frac provided by _prod   equiv id            
│  provided fixed_costs     ≤ fixed_costs provided by _prod       equiv id            
│  provided purchase_cost   ≤ purchase_cost provided by _sum      equiv id            
│  provided xsubsidy        ≤ xsubsidy provided by _sum           equiv id            
│  _res required by _prod   ≤ _res provided by _sum               equiv id            
│  _result required by _sum ≤ required revenue                    equiv id            
├ _prod: SimpleWrap                                                                   
│        │  provides   fixed_cost_frac   SB(≥0)     │ requires   _res   SB(≥0) USD    
│        │  provides   fixed_costs       SB(≥0) USD │                                 
│        └ M_Res_MultiplyMany_DP SB(≥0)×SB(≥0) ⟨dimensionless,USD⟩  ⇸  SB(≥0) USD     
│           𝒇₁⋅𝒇₂ ≤ 𝒓                                                                 
│          ├   Fs: ├ SB(≥0)                                                           
│          │       └ SB(≥0) USD                                                       
│          └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT   
└  _sum: SimpleWrap                                                                   
         │  provides   xsubsidy        SB(≥0) USD │ requires   _result   SB(≥0) USD   
         │  provides   purchase_cost   SB(≥0) USD │                                   
         │  provides   _res            SB(≥0) USD │                                   
         └ M_Res_AddMany_DP SB(≥0)×SB(≥0)×SB(≥0) ⟨USD,USD,USD⟩  ⇸  SB(≥0) USD         
            𝒇₁ + 𝒇₂ + 𝒇₃ ≤ 𝒓                                                          
           ├      Fs: ├ SB(≥0) USD                                                    
           │          ├ SB(≥0) USD                                                    
           │          └ SB(≥0) USD                                                    
           ├ opspace: SB(≥0) USD                                                      
           └    algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT