A G type node must have some predecessor and some successor. If the predecessor is a L type node the IL of this is the same of the EL of the G type node. If the G is multiple the predecessor L must have the same multiplicity.
