Nick,
I don't think you have used interchangeability before.
What you are describing with "Forward Interchangeability" is incorrect.
You should have demand for "old", Product A.
Then stock of A is used to satisfy demand of A. Remaining demand of A is met by supply of Product B.
This is true for CTM and SNP Heuristics.
Ken