Currently, there's no validation that the backmapper actually is able to backmap every state in the model. Not sure about a good way to generally handle this -- but for Markov SynD models, and dictionaries, I can just check the lengths