{"ast_node_type":"function","tokens":[{"end":65,"kind":"keyword","start":0,"text":"fn"}]}
    fn get_quantifier_and_bound(&self) -> (&'static str, usize) {
    // and to give a bound for the number of expected arguments
        if self.get_num_default_params() == 0 {