occ: add interface to barvinok_lexsmaller_ev