add EmptyDeclaration
add missing visits (while/throw/return)