Symbol: solver_create_state_maps