redex: fix generate-term error messages