(VAR x1 )
(RULES 
        0(*(x1)) -> *(1(x1))
        1(*(x1)) -> 0(#(x1))
        #(0(x1)) -> 0(#(x1))
        #(1(x1)) -> 1(#(x1))
        #($(x1)) -> *($(x1))
        #(#(x1)) -> #(x1)
        #(*(x1)) -> *(x1)
        
)