redex: bug fix for gerating terms including #f

please include in the release