(VAR F l x )
(RULES 
        map(nil, F) -> nil
        map(cons(x, l), F) -> cons(, map(l, F))
        
)