CompositeNDP                                                                                                      
│    provides   z   SB(≥0) s │ requires   x   SB(≥0) s                                                            
│                            │ requires   y   SB(≥0) s                                                            
│  7 nodes, 4 edges                                                                                               
│   connected rec: ✓                                                                                              
│  _x required by x ≤ _op provided by _RuleResSQRT_NWU   equiv id                                                 
│  _x required by x ≤ required x                         equiv id                                                 
│  _y required by y ≤ _op provided by _mult              equiv id                                                 
│  _y required by y ≤ required y                         equiv id                                                 
│  Unconnected func:                                                                                              
│   {CFunction(dp='y', s='_y'), CFunction(dp='x', s='_x')}                                                        
│  Unconnected res:                                                                                               
│   {CResource(dp='_fun_z', s='z'), CResource(dp='_RuleResSQRT_NWU', s='_res'), CResource(dp='_mult', s='_res2')} 
├ _RuleResSQRT_NWU: SimpleWrap                                                                                    
│                   │  provides   _op   SB(≥0) s │ requires   _res   SB(≥0) s^0.5                                 
│                   └ DP_L_UME SB(≥0) s  ⇸  SB(≥0) s^0.5                                                          
│                      𝒇^½ ≤ 𝒓                                                                                    
│                     M_C_WrapUnits   s → s^0.5 > M_A_PowerFrac_Upper   SB(≥0)  →   same x ⟼ x^½                  
├            _mult: SimpleWrap                                                                                    
│                   │  provides   _op   SB(≥0) s │ requires   _res2   SB(≥0) s                                    
│                   └ DP_L_UME SB(≥0) s  ⇸  SB(≥0) s                                                              
│                      𝒇 ⋅ 0.5 ≤ 𝒓                                                                                
│                     M_C_WrapUnits   s → s > M_A_Mult1_Upper   SB(≥0)  →   same x ⟼ x ⋅ 0.5                      
├                x: SimpleWrap                                                                                    
│                   │  provides   _x   SB(≥0) s │ requires   _x   SB(≥0) s                                        
│                   └ DP_Id SB(≥0) s  ⇸  SB(≥0) s                                                                 
│                      𝒇 ≤ 𝒓                                                                                      
└                y: SimpleWrap                                                                                    
                    │  provides   _y   SB(≥0) s │ requires   _y   SB(≥0) s                                        
                    └ DP_Id SB(≥0) s  ⇸  SB(≥0) s                                                                 
                       𝒇 ≤ 𝒓