pub fn consprob_core<T>(
    inputs: InputsConsprobCore<'_, T>
) -> (AlignfoldProbMats<T>, Sum)where
    T: HashIndex,