Simplicial_complexes_and_boolean_functions.MkIfex