f a f b g b g a map F nil nil map Z cons U V cons Z U map Z V filter I nil nil filter J cons X1 Y1 filter2 J X1 J X1 Y1 filter2 true G1 V1 W1 cons V1 filter G1 W1 filter2 false J1 X2 Y2 filter J1 Y2 F e e Z e e U e V f I e d J e d X1 e Y1 f G1 e d V1 e W1 f J1 e d X2 e Y2 f a a b a cons e f f f a b false d filter e d f f filter2 d e d e f f g a c map e e f f nil f true d FULL benchmarks/applicative/Applicative_first_order_05__#3.32.atrs