PHIBARRIER        502 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER        510 lj_opt_fold.c        PHIBARRIER(ir);
PHIBARRIER        762 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER        773 lj_opt_fold.c    PHIBARRIER(fleft);  /* See above. Fold would be ok, but not beneficial. */
PHIBARRIER        789 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER        799 lj_opt_fold.c    PHIBARRIER(fright);
PHIBARRIER        817 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER        826 lj_opt_fold.c    PHIBARRIER(fright);
PHIBARRIER        864 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER        874 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER        875 lj_opt_fold.c    PHIBARRIER(fright);
PHIBARRIER        934 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER        956 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER        982 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER        999 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1044 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1088 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1126 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1275 lj_opt_fold.c      PHIBARRIER(fleft);
PHIBARRIER       1288 lj_opt_fold.c      PHIBARRIER(fleft);
PHIBARRIER       1302 lj_opt_fold.c      PHIBARRIER(fright);
PHIBARRIER       1313 lj_opt_fold.c      PHIBARRIER(fright);
PHIBARRIER       1332 lj_opt_fold.c      PHIBARRIER(fleft);
PHIBARRIER       1333 lj_opt_fold.c      PHIBARRIER(fright);
PHIBARRIER       1438 lj_opt_fold.c    PHIBARRIER(fright);
PHIBARRIER       1486 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1523 lj_opt_fold.c      PHIBARRIER(fleft);
PHIBARRIER       1543 lj_opt_fold.c      PHIBARRIER(fleft);
PHIBARRIER       1568 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1584 lj_opt_fold.c    PHIBARRIER(fleft);  /* The (shift any KINT) rule covers k2 == 0 and more. */
PHIBARRIER       1615 lj_opt_fold.c      PHIBARRIER(fleft);
PHIBARRIER       1624 lj_opt_fold.c      PHIBARRIER(fleft);
PHIBARRIER       1830 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       2013 lj_opt_fold.c      PHIBARRIER(fleft);