Open hengxin opened 3 years ago
AxCausalValue
AxCausalSeq
TRUE \in {...}
\E seq \in seqs: RWRegSemantics(seq, o)
AxCausalValue,AxCausalSeq:TRUE \in {...}=>\E seq \in seqs: RWRegSemantics(seq, o)