[WIP] Add an inspection to check the type of the returned expressions

TO DO:
. tests
. a fix to change the function signature