(WR) added these variables for topological ordering of silent states Condition: topo_order != NULL iff (model_type & kSilentStates) == 1
(WR) added these variables for topological ordering of silent states Condition: topo_order != NULL iff (model_type & kSilentStates) == 1