CompositeNDP                                                                    
│    provides   f   SB(≥0) │ requires   r   SB(≥0)                              
│  3 nodes, 2 edges                                                             
│   connected rec: ✓                                                            
│  provided f                    ≤ _result provided by _invmultvalue   equiv id 
│  _op required by _invmultvalue ≤ required r                          equiv id 
└ SimpleWrap                                                                    
  │  provides   _result   SB(≥0) │ requires   _op   SB(≥0)                      
  └ DP_L_LME SB(≥0)  ⇸  SB(≥0)                                                  
     𝒇 ≤ 𝒓 ⋅ 10                                                                 
    └ M_C_WrapUnits   dimensionless → dimensionless                             
      M_A_Mult1_Lower   SB(≥0)  →   same x ⟼ x ⋅ 10