captured aliases in ACs should not be written to, even if the write is only observed within the AC

aliases that are captured by an AC should not be written to outside the AC after their capture