f 0 1 g X Y U f g X Y g X Y g X Y h X g 0 1 0 g 0 1 1 h g V W h V map J nil nil map F1 cons Y1 U1 cons F1 Y1 map F1 U1 filter H1 nil nil filter I1 cons P1 X2 filter2 I1 P1 I1 P1 X2 filter2 true Z2 U2 V2 cons U2 filter Z2 V2 filter2 false I2 P2 X3 filter I2 X3 X b Y b U c V b W b J e e F1 e e Y1 e U1 f H1 e d I1 e d P1 e X2 f Z2 e d U2 e V2 f I2 e d P2 e X3 f 0 b 1 b cons e f f f b b b c a false d filter e d f f filter2 d e d e f f g b b b h b c map e e f f nil f true d FULL benchmarks/applicative/Applicative_AG01_innermost__#4.15.atrs