f 0 1 X f s X X X f Y U s V s f 0 1 V map I nil nil map J cons X1 Y1 cons J X1 map J Y1 filter G1 nil nil filter H1 cons W1 P1 filter2 H1 W1 H1 W1 P1 filter2 true F2 Y2 U2 cons Y2 filter F2 U2 filter2 false H2 W2 P2 filter H2 P2 X a Y a U a V a I c c J c c X1 c Y1 d G1 c b H1 c b W1 c P1 d F2 c b Y2 c U2 d H2 c b W2 c P2 d 0 a 1 a cons c d d f a a a a false b filter c b d d filter2 b c b c d d map c c d d nil d s a a true b FULL benchmarks/applicative/Applicative_first_order_05__#3.52.atrs