The structure of the ini-map seems like something to check in a precondition, especially given how the docstring basically lays out what the preconditions are. :)