Forgotten recursions in simplif_exits