static-property-judgement