public bool Lte(Effects other)
{
if (Vars == null && other.Vars != null)
{
return(false);
}
if (Vars != null && other.Vars != null && !Vars.Lte(other.Vars))
{
return(false);
}
return(Heap.Lte(other.Heap) && MayThrow.Lte(other.MayThrow));
}
public bool Lte(PointsTo other)
{
return(Args.Lte(other.Args) && Locals.Lte(other.Locals) && Heap.Lte(other.Heap));
}
public bool Lte(Effects other)
{
return(Args.Lte(other.Args) && Locals.Lte(other.Locals) && Heap.Lte(other.Heap) && MayThrow.Lte(other.MayThrow));
}