CompositeNDP                                                                                        
│    provides   FATH          SB(≥0) h/week │ requires   faculty_hours_per_week   SB(≥0) hours/week 
│    provides   num_faculty   SB(≥0::1)     │ requires   num_faculty              SB(≥0::1)         
│  5 nodes, 4 edges                                                                                 
│   connected rec: ✓                                                                                
│  provided FATH                               ≤ _result provided by _invmult      equiv id         
│  provided num_faculty                        ≤ required num_faculty              equiv id         
│  faculty_hours_per_week required by _invmult ≤ required faculty_hours_per_week   equiv id         
│  num_faculty required by _invmult            ≤ required num_faculty              equiv id         
└ SimpleWrap                                                                                        
  │  provides   _result   SB(≥0) h/week │ requires   faculty_hours_per_week   SB(≥0) hours/week     
  │                                     │ requires   num_faculty              SB(≥0::1)             
  └ M_Fun_MultiplyMany_DP SB(≥0) h/week  ⇸  WU ⟨hours/week,dimensionless⟩                           
                                            (SB(≥0)×SB(≥0::1))                                      
     𝒇 ≤ 𝒓₁⋅𝒓₂                                                                                      
    ├   Rs: ├ SB(≥0) hours/week                                                                     
    │       └ SB(≥0::1)                                                                             
    └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT