I have noticed quite a bit recently where a player catches or runs the ball, then gets hit/stopped and pushed back, or even a receiver running a comeback route and they get pushed back. The spot of the ball is where they are tackled, not where forward progress stopped. For example, I have seen a 2nd and 10 where a pass is completed for 11 yards but the receiver gets pushed back 2 or 3 yards after the catch - that should be a first down but ends up being a 3rd and 2. Not sure if anyone else has seen this, but something worth tweaking/looking into in my opinion.

Here is a decent example from this week where on 1st and 10 this should have been a 9 yd gain IMO based on where he catches the ball, but was only a 6 yard gain based on where the tackle occurred.... http://mfn1.myfootballnow.com/watch/2622#467854

The forward progress should be operating correctly - the example you posted the WR is actually running back toward the ball and his momentum took him a few yards behind the catch before the defender tackled him. If a player is running forward (or standing still) and the defender makes contact with him and pushes him back, he should be marked where the contact was made. I actually just saw this in my game against Dallas where the tackle took the QB into the end zone http://mfn1.myfootballnow.com/watch/2605#464955

I can say I have seen many times that forward progress didnt work, specially passes to wr or TE in the slot, they would get hit and go back a couple yards and then finally tackled. Have had a lot of 5 yd gains turn into no gains or 1 yd gains.