Removing extra cuts; adding possibleX; fixing loop on unrefuted