Check function body for single expression

[njordhov]

Strict validation should report function bodies with multiple expressions or empty function bodies.