Type Definition TmpPartFuncSetMat
consprob
type TmpPartFuncSetMat = HashMap<PosPair, TmpPartFuncSets>;