redex: fix recursive calls to use premises clauses