Add tests for the transformations SCCP can do on atomic loads and stores (which are...