Untitled

{"model":"SC","outcomes":{"r0=0,r1=1":[["store x=1","r0=load y->0","store y=1","r1=load x->1"]],"r0=1,r1=1":[["store x=1","store y=1","r0=load y->1","r1=load x->1"],["store x=1","store y=1","r1=load x->1","r0=load y->1"],["store y=1","store x=1","r0=load y->1","r1=load x->1"],["store y=1","store x=1","r1=load x->1","r0=load y->1"]],"r0=1,r1=0":[["store y=1","r1=load x->0","store x=1","r0=load y->1"]]},"forbidden":"r0=0,r1=0"}