phreach: fix names
nkp -> cutsets
fix infinite loop when reducing glc for cutsets