pub fn expr_refs(e: &Expr, out: &mut Vec<String>)
Every reference an expression or predicate reads, in reading order.