CompositeNDP                                                                                 
│    provides   lift   SB([0,10]) N │ requires   power   SB([1,151]) W                       
│  6 nodes, 5 edges                                                                          
│   connected rec: ✓                                                                         
│  provided lift            ≤ _l provided by _lim     diff  (always satisfied)               
│  provided lift            ≤ _op provided by _pow    equiv id                               
│  _res required by _mult   ≤ _op provided by _plus   equiv id                               
│  _res2 required by _plus  ≤ required power          equiv id                               
│  _result required by _pow ≤ _op provided by _mult   equiv id                               
├  _lim: SimpleWrap                                                                          
│        │  provides   _l   {10 N} │ -                                                       
│        └ DP_Limit {10 N}  ⇸  𝟙  > NVU:10 N                                                 
│           𝒇 ≤ 10 N                                                                         
├ _mult: SimpleWrap                                                                          
│        │  provides   _op   SB([0,100]) N² │ requires   _res   SB([0,150]) W                
│        └ DP_L_UME SB([0,100]) N²  ⇸  SB([0,150]) W                                         
│           𝒇 ⋅ 1.5 ≤ 𝒓                                                                      
│          M_C_WrapUnits   N² → W > M_A_Mult1_Upper   SB([0,100])  →  SB([0,150]) x ⟼ x ⋅ 1.5
├ _plus: SimpleWrap                                                                          
│        │  provides   _op   SB([0,150]) W │ requires   _res2   SB([1,151]) W                
│        └ DP_L_UME SB([0,150]) W  ⇸  SB([1,151]) W                                          
│           𝒇 + 1 ≤ 𝒓                                                                        
│          M_C_WrapUnits   W → W > M_A_Add1_Upper   SB([0,150])  →  SB([1,151]) x ⟼ x + 1    
└  _pow: SimpleWrap                                                                          
         │  provides   _op   SB([0,10]) N │ requires   _result   SB([0,100]) N²              
         └ DP_L_UME SB([0,10]) N  ⇸  SB([0,100]) N²                                          
            𝒇² ≤ 𝒓                                                                           
           M_C_WrapUnits   N → N² > M_A_PowerFrac_Upper   SB([0,10])  →  SB([0,100]) x ⟼ x²