That is smart, specially the analyzer part. I will try it. For the stub file part, I think it is always nice to have a default case handling.

Just like when you are switching through all values of an enum, the default case is not reached, until one day you add a new member to the enum.