Add written data for CAS and LLSC

BUG: store is still reported unconditionally