State Variable Insertion should be able to solve all state encoding problems presented to it. It should be able to update the state space without full resimulation, and it should support multiple assignment for state variables.