Function highest_var_in_clauses

fn highest_var_in_clauses<'tcx>(c: Clauses<'tcx>) -> usize