remove unused folding rule