PHIBARRIER        506 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER        514 lj_opt_fold.c        PHIBARRIER(ir);
PHIBARRIER        935 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER        946 lj_opt_fold.c    PHIBARRIER(fleft);  /* See above. Fold would be ok, but not beneficial. */
PHIBARRIER        962 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER        972 lj_opt_fold.c    PHIBARRIER(fright);
PHIBARRIER        990 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER        999 lj_opt_fold.c    PHIBARRIER(fright);
PHIBARRIER       1039 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1049 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1050 lj_opt_fold.c    PHIBARRIER(fright);
PHIBARRIER       1109 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1131 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1157 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1174 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1219 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1263 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1301 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1449 lj_opt_fold.c      PHIBARRIER(fleft);
PHIBARRIER       1462 lj_opt_fold.c      PHIBARRIER(fleft);
PHIBARRIER       1476 lj_opt_fold.c      PHIBARRIER(fright);
PHIBARRIER       1487 lj_opt_fold.c      PHIBARRIER(fright);
PHIBARRIER       1506 lj_opt_fold.c      PHIBARRIER(fleft);
PHIBARRIER       1507 lj_opt_fold.c      PHIBARRIER(fright);
PHIBARRIER       1612 lj_opt_fold.c    PHIBARRIER(fright);
PHIBARRIER       1660 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1696 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1715 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1746 lj_opt_fold.c      PHIBARRIER(fleft);
PHIBARRIER       1766 lj_opt_fold.c      PHIBARRIER(fleft);
PHIBARRIER       1791 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       1807 lj_opt_fold.c    PHIBARRIER(fleft);  /* The (shift any KINT) rule covers k2 == 0 and more. */
PHIBARRIER       1838 lj_opt_fold.c      PHIBARRIER(fleft);
PHIBARRIER       1847 lj_opt_fold.c      PHIBARRIER(fleft);
PHIBARRIER       2053 lj_opt_fold.c    PHIBARRIER(fleft);
PHIBARRIER       2237 lj_opt_fold.c      PHIBARRIER(fleft);