[TypeCheck] return statement expression existance check