Make Dexter tail recursive