apply F Y F Y F a b Y a apply a b a b FULL benchmarks/applicative/AotoYamada_05__025.atrs