Remove noops
In some cases we come across a case where the same state is both pre and post, but none of them are blocking. Witness:
{
"preStateNode": {
"raw": "/\\ initialized = TRUE\n/\\ fmu_state = [blocked |-> FALSE, outputs |-> <<2>>, offset |-> 2, cstime |-> 0, lookahead_signals |-> <<<<2>>>>]\n/\\ env_state = [signals |-> <<[signal |-> <<>>, visiblen |-> 0]>>, maxAge |-> 0, H |-> 1]\n",
"env_state_signals": {
"0": {
"values": [],
"nvisible": 0
}
},
"env_state_H": 1,
"env_state_maxDelay": 0,
"initialized": true,
"fmu_state_incoming_lookahead_signals": {
"0": [
2
]
},
"fmu_state_blocked": false,
"fmu_state_cstime": 0,
"fmu_state_outputs": [
2
],
"fmu_state_offset": 2,
"has_fmu_state": false,
"meta_id": "",
"lookahead": 0
},
"preState": {
"H": 1,
"incomingUnprocessed": {
"0": {
"values": [],
"visiblen": 0
}
},
"incomingLookahead": {
"0": [
[
2,
2
]
]
},
"currentData": {
"0": [
2,
2
]
},
"startOffsetTime": 2,
"maxAge": 0,
"initialized": true,
"lookahead": 2,
"id": "",
"cstime": 0,
"blocked": false
},
"postStateNode": {
"raw": "/\\ initialized = TRUE\n/\\ fmu_state = [blocked |-> FALSE, outputs |-> <<2>>, offset |-> 2, cstime |-> 0, lookahead_signals |-> <<<<2>>>>]\n/\\ env_state = [signals |-> <<[signal |-> <<>>, visiblen |-> 0]>>, maxAge |-> 0, H |-> 1]\n",
"env_state_signals": {
"0": {
"values": [],
"nvisible": 0
}
},
"env_state_H": 1,
"env_state_maxDelay": 0,
"initialized": true,
"fmu_state_incoming_lookahead_signals": {
"0": [
2
]
},
"fmu_state_blocked": false,
"fmu_state_cstime": 0,
"fmu_state_outputs": [
2
],
"fmu_state_offset": 2,
"has_fmu_state": false,
"meta_id": "",
"lookahead": 0
},
"postState": {
"H": 1,
"incomingUnprocessed": {
"0": {
"values": [],
"visiblen": 0
}
},
"incomingLookahead": {
"0": [
[
2,
2
]
]
},
"currentData": {
"0": [
2,
2
]
},
"startOffsetTime": 2,
"maxAge": 0,
"initialized": true,
"lookahead": 2,
"id": "",
"cstime": 0,
"blocked": false
},
"action": "dostep",
"meta": "524--<Action line 363, col 9 to line 379, col 34 of module RabbitMQFMUSignals>"
}