Enforce the new TailProducer trait in terminal positions
Fix last tests