Esablish the flattening invariant for CTyEqCan