Example of CutSpel