Output the read set and the write set of the context