In the original example, DataRcd and corr will all be registers (flip-flops), which will all be correct on the same cycle.
Maybe it will synthesize properly, but I don't think it will simulate correctly at the functional level. I sort of like it when functional simulation matches with post synthesis/place-route simulation. I will verify this today at work, and post back to the list :-)
gene
