Redex enumerate mismatches (very slow)