While it would be nice to have a license static checker that removes unused clauses, I'm not sure that's actually possible.

It might be possible to write an obfuscator though...