In the ipv4_outer_irregular format the ip id behavior is defined in
DEFAULT as static.
I understand here, that the irregular chain (and therefore CO formats)
could not be used, if the ip-id behavior of an outer IP header has changed.
Then I need a co_repair/IR with dynamic chain.
But if the innermost ip id behavior changes, I can use co_common.
Then the ip id is either send within co_common (in seq/seq swapped case)
or within irregular chain (in rand/zero) case.
Therefore maybe the line
ENFORCE(ip_id_behavior_innermost.UVALUE == ip_id_behavior_value);
is missed here, to bind the attribute with the parameter value?
If not, could please someone explain, where the binding works?