Lines Matching full:folding
1162 // We choose this as normal form to enable folding on the And and shortening
