Today i played around with analysing function code. First result:
We have warnings for (possible) missing returns


Since the way iam doing it, is very lazy and simple, the last function will throw the same error even if the condition has an "else" statement with a valid return(so in fact, return is always guranteed).
Greetings
Rackscha