LEFTFOLD          577 lj_opt_fold.c        return LEFTFOLD;
LEFTFOLD          922 lj_opt_fold.c      return LEFTFOLD;  /* round(round_left(x)) = round_left(x) */
LEFTFOLD          929 lj_opt_fold.c    return LEFTFOLD;  /* f(g(x)) ==> g(x) */
LEFTFOLD          983 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1011 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1064 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1206 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1234 lj_opt_fold.c        return LEFTFOLD;
LEFTFOLD         1317 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1327 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1340 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1362 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1371 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1386 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1541 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1552 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1565 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1584 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1634 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1649 lj_opt_fold.c      return LEFTFOLD;
LEFTFOLD         1687 lj_opt_fold.c      return LEFTFOLD;  /* (i o k1) & k2 ==> i, if (-1 o k1) == k2 */
LEFTFOLD         1745 lj_opt_fold.c        return LEFTFOLD;
LEFTFOLD         1784 lj_opt_fold.c      return LEFTFOLD;  /* (a o b) o a ==> a o b; (a o b) o b ==> a o b */
LEFTFOLD         1837 lj_opt_fold.c        return LEFTFOLD;
LEFTFOLD         1846 lj_opt_fold.c        return LEFTFOLD;
LEFTFOLD         1869 lj_opt_fold.c      return LEFTFOLD;  /* a o2 (a o1 b) ==> a; a o2 (b o1 a) ==> a */
LEFTFOLD         2003 lj_opt_fold.c      return LEFTFOLD;