Reports functions and variables with nullable return type which never return or become null.