[S] Change in onomondo-eim[master]: WIP: invert asn1ct tag workaround