when testing the heart dataset I receive an error on line 184 assert(all(M <= M_max)) in create_slim_IP