Add warning when function result always undefined and differentiate this from [w521]

Add special warning when function newer assign any value to its result.

Why its needed to differentiate? Because such function can be easily converted into procedures. It can be not a forgotten result in some special case, but procedure, declared as a function.