{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"||"}]}
                || param_count.params.len() > 1
            if instantiated_pred.has_non_region_param()
                || has_region