f s X f X g cons 0 Y g Y g cons s U V s U h cons W P h g cons W P map F1 nil nil map Z1 cons U1 V1 cons Z1 U1 map Z1 V1 filter I1 nil nil filter J1 cons X2 Y2 filter2 J1 X2 J1 X2 Y2 filter2 true G2 V2 W2 cons V2 filter G2 W2 filter2 false J2 X3 Y3 filter J2 Y3 X d Y d U d V d W d P d F1 d d Z1 d d U1 d V1 d I1 d c J1 d c X2 d Y2 d G2 d c V2 d W2 d J2 d c X3 d Y3 d 0 d cons d d d f d a false c filter d c d d filter2 c d c d d d g d d h d b map d d d d nil d s d d true c FULL benchmarks/applicative/Applicative_first_order_05__#3.45.atrs