eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyrmnnilnilrmnaddmxif_rmeqnmnaddmxif_rmtruenaddmxrmnxif_rmfalsenaddmxaddmrmnxpurgenilnilpurgeaddnxaddnpurgermnxeq2C00true0s1false0rm2nil0add2if_rm3purge1FULL./TRS/AProVE_AC/AC45.trs