public bool CommutableWith(Effects other) { return(Args.CommutableWith(other.Args) && Locals.CommutableWith(other.Locals) && Heap.CommutableWith(other.Heap) && MayThrow.CommutableWith(other.MayThrow)); }
public bool CommutableWith(Effects other) { return(Vars.CommutableWith(other.Vars) && Heap.CommutableWith(other.Heap) && MayThrow.CommutableWith(other.MayThrow)); }