Actually, S Sap first reduces Atk and then heals HP. However, the healed HP is calculated beforehand and doesn't take into account that last Atk drop (this is what I wanted to say in my second post and why went into so much detail in the example, but somehow I failed to get the point across). So...