anchor.diff:             {NT, line_of('$2')}.
   
   tableentrydefinition -> newtypename implies 'SEQUENCE' '{' fields '}' : 
  -                        Seq = make_sequence('$1', lists:reverse('$5')),
  +                        Seq = make_sequence('$1', lrev(table_entry, '$5')),
                           {Seq, line_of('$3')}.
   
   % returns: list of {<fieldname>, <asn1_type>}
  
positive.code: 
  modulecompliance -> objectname 'MODULE-COMPLIANCE' 'STATUS' statusv2
                      description referpart mc_modulepart nameassign : 
                      MC = make_module_compliance('$1', '$4', '$5', '$6', 
                                                  '$7', '$8'),
                      {MC, line_of('$2')}.
  
  
  
negative.code:              defs        = Defs}.
  
  v1orv2 -> moduleidentity listofdefinitionsv2 :
  			  {v2_mib, ['$1'|lrev(v1orv2_mod, '$2')]}.
  v1orv2 -> listofdefinitions : {v1_mib, lrev(v1orv2_list, '$1')}.
  
  definition -> objectidentifier : '$1'.
  definition -> objecttypev1 : '$1'.
  