f 0 f 0 0 1 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 d d Z d d U d V e I d c J d c X1 d Y1 e G1 d c V1 d W1 e J1 d c X2 d Y2 e 0 b 1 b cons d e e f b a false c filter d c e e filter2 c d c d e e map d d e e nil e true c FULL benchmarks/applicative/Applicative_AG01_innermost__#4.5.atrs