redex: favor recursive rules above the bound