mapbt F leaf Y leaf F Y mapbt G branch P V W branch G P mapbt G V mapbt G W F a a Y a G a a V b W b P a branch a b b b leaf a b mapbt a a b b FULL benchmarks/applicative/AotoYamada_05__006.atrs