New test cases (4 iteration)
TEST automatic test upgrade to test new cases
SEMANTIC function return verification

# functions that have no return type defined may use ‘return’ value,
with no expression