Macro gen_lemma_disjoint

macro_rules! gen_lemma_disjoint {
    ($name:ident { $($term:expr),* $(,)? }) => { ... };
}

Macro to generate a lemma that states the disjointness of a list of spec terms NOTE: the disjointness of the provided terms are trusted incorrect calls to this might lead to unsoundness