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(PointsTo other)
{
return(Args.CommutableWith(other.Args) && Locals.CommutableWith(other.Locals) && Heap.CommutableWith(other.Heap));
}
public bool CommutableWith(Effects other)
{
return(Vars.CommutableWith(other.Vars) && Heap.CommutableWith(other.Heap) && MayThrow.CommutableWith(other.MayThrow));
}