If you contract from Opportunity, the Terminated Date on the original Order Product doesn't get populated. This happens only when you contract from Order.
Automatically add products if customers don't have active subscriptions in a Product Family (e.g., Software) using a summary variable and product rule.