In CCS, it is not possible to reject a proposal already agreed, because the agreed proposal is directly applied in the real SFPL and the whatIf flight containing the proposal is deleted (as soon as the coordinationAccept is performed).