Statechart Checks : (C1117) Transitions without a return command whose target is a termination connector

(C1117) Transitions without a return command whose target is a termination connector

If a procedural statechart implements a function and not a procedure, any transition that ends in a termination connector must return a value. Otherwise, the function is terminated without a return value.
Error In:
Correctness
Erroneous Elements:
Transitions