Removing model PLC3, and the communications from this model, from the structure without modification of the RIOM model would lead not to take into account this behaviour, which is surely a modelling flaw and would give rise to meaningless proof results.