f g X s 0 Y f g s 0 Y g X g s U s g U g 0 0 map H nil nil map I cons P X1 cons I P map I X1 filter Z1 nil nil filter G1 cons V1 W1 filter2 G1 V1 G1 V1 W1 filter2 true J1 X2 Y2 cons X2 filter J1 Y2 filter2 false G2 V2 W2 filter G2 W2 X b Y b U b H d d I d d P d X1 e Z1 d c G1 d c V1 d W1 e J1 d c X2 d Y2 e G2 d c V2 d W2 e 0 b cons d e e f b b b a false c filter d c e e filter2 c d c d e e g b b map d d e e nil e s b b true c FULL benchmarks/applicative/Applicative_AG01_innermost__#4.17.atrs