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