Function property_contains_alias 

fn property_contains_alias(property: &Property<'_>) -> bool

Whether a contract property tree contains an Alias atom (used to detect a caller-declared Alias/Ptr2Ref precondition).