CheckIO: Start to add checking of function return types. Ticket: #4964