[Refactoring] Tweak code style
[Refactoring] Slim up code logic
[Refactoring] protectionToChars(PROTKIND kind)
fix bug in protectionToBuffer()
Merge pull request #3906 from 9rnsr/refactor_protection

[Refactoring] around protection code fixed in the PR #3651
fix Issue 11042 - Inconsistent "static condition" behaviors

Divide `SCOPEcondition` and `SCOPEconstraint` properly.