Static versus dynamic reversibility in CCS