"property: weak" should imply prop_inherently_weak
Even if we only store the inherently-weak
property, we could detect the weak
property in the input and set this flag.
Even if we only store the inherently-weak
property, we could detect the weak
property in the input and set this flag.