Corrected inference of INode based on selection.
Fixed persistence of the provisos.
Fixed associativity of hiding in law hid-par-rec-dist
added logging to decode of cosim protocol v3 + fixed wrong module in channel name which made the channel lookup fail when trying to insert the correct type for the channel
Merge remote-tracking branch 'origin/ahm' into sdf
Merge remote-tracking branch 'origin/development' into sdf