(VAR F l x y )
(RULES 
        foldl(F, x, nil) -> x
        foldl(F, x, cons(y, l)) -> foldl(F, , l)
        plusc -> 
        sum(l) -> foldl(plusc, 0, l)
        
)