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