LEFTFOLD          749 lj_opt_fold.c      return LEFTFOLD;  /* round(round_left(x)) = round_left(x) */
LEFTFOLD          756 lj_opt_fold.c    return LEFTFOLD;  /* f(g(x)) ==> g(x) */
LEFTFOLD          810 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD          838 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD          889 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1031 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1059 lj_opt_fold.c        return LEFTFOLD;
LEFTFOLD         1142 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1152 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1165 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1187 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1196 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1209 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1367 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1378 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1391 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1410 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1460 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1475 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1505 lj_opt_fold.c      return LEFTFOLD;  /* (i o k1) & k2 ==> i, if (-1 o k1) == k2 */
LEFTFOLD         1522 lj_opt_fold.c        return LEFTFOLD;
LEFTFOLD         1561 lj_opt_fold.c      return LEFTFOLD;  /* (a o b) o a ==> a o b; (a o b) o b ==> a o b */
LEFTFOLD         1614 lj_opt_fold.c        return LEFTFOLD;
LEFTFOLD         1623 lj_opt_fold.c        return LEFTFOLD;
LEFTFOLD         1646 lj_opt_fold.c      return LEFTFOLD;  /* a o2 (a o1 b) ==> a; a o2 (b o1 a) ==> a */
LEFTFOLD         1780 lj_opt_fold.c      return LEFTFOLD;