Fixed in rev#76624.
However the compiler reports a VEVI error for the reattachment Result := Current, because the attribute s is not initialized at that point and this happens inside the body of the attribute.
The test is modified to reflect this behaviour.