All cuts are defined but it's too complex for the termination checking