Update SimplicialDecomposability.m2