pub fn prop_contains_kind(prop: &Prop, kind: &str) -> bool
True when any expression of the given kind occurs in the proposition.