let
get_stmt_node env s = get_node env (
Vstmt
s)