Fix Redex variable enumeration bug