Check that a statement has no function definitions.
(statement-nofunp stmt) → yes/no
We disallow statements that are function definitions obviously, and we recursive check all the nested blocks and switch cases.
