safety - work on blocks, stmts, decl, assignments