Step 11 of the Create Term Definition Algorithm, it is said that
If the @protected
entry in value
is true
set the protected
flag in definition
to true
Strictly following this, a "@protected": false
in a term definition is ignored.
However, this makes the expansion test pr13
to fail.