Bugfix: simplify-times-rec now handles non-list*list correctly.