id X X plus 0 id plus s Y U s plus Y U X a Y a U a 0 a id a a plus a a a s a a FULL benchmarks/applicative/AotoYamada_05__023.atrs