Macro gen_lemma_disjoint_helper

macro_rules! gen_lemma_disjoint_helper {
    ($($term:expr),* ; ) => { ... };
    ($($prev_term:expr),* ; $term:expr $(, $rest_term:expr)*) => { ... };
}