5bc9db9aca
Add support functions to check whether a (block of) statement(s) contains any statements that should not appear in that block (e.g., switch in an action). Signed-off-by: Will Hawkins <hawkinsw@obs.cr>