Pretty divisibility
Put resolved flow constraints in their rightful place