Property cannot become mandatory, because property values for following codes are missing:
C-NO-SEC
C-NO-TIME
GFP
INHIBITOR
NEUTRAL
SCRAM
 (user fault)