pub fn prop_functions(prop: &Prop, into: Vec<String>) -> Vec<String>
Functions, in first-use order, that a proposition mentions.