Thanks for the explanation, that sounds plausible for me. So far I can live with...
NPE in obfuscated code after switching to ProGuard 4.11 when optimizing field/propagation/value