pub fn suggest_quantifiers(expr: &TLExpr) -> Result<Vec<String>>
Suggest quantifiers for unbound variables