(VAR I P X Y Z )
(STRATEGY CONTEXTSENSITIVE
        (__ 1 2) 
        (nil ) 
        (U11 1) 
        (tt ) 
        (U12 1) 
        (isNePal 1) 
)
(RULES 
        __(__(X, Y), Z) -> __(X, __(Y, Z))
        __(X, nil) -> X
        __(nil, X) -> X
        U11(tt) -> U12(tt)
        U12(tt) -> tt
        isNePal(__(I, __(P, I))) -> U11(tt)
        
)