+ <key name="inline">logic/equality/eq_elim_r nodefaults</key>
+ <key name="inline">logic/equality/eq_f nodefaults</key>
+ <key name="inline">logic/equality/eq_f' nodefaults</key>
+ <key name="inline">Z/plus/eq_plus_Zplus coercions</key>
+ <key name="inline">Z/times/Ztimes_Zplus_pos_neg_pos cr</key>