(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.