Divide upwards: `s <= _mi_divide_up(s,d)*d < s+d`.
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected