[internal] add precondition to ordered-map, ensure all keys are present