private static MoverType GetMoverType(Ensures e)
{
if (e.IsAtomic())
return MoverType.Atomic;
if (e.IsRight())
return MoverType.Right;
if (e.IsLeft())
return MoverType.Left;
if (e.IsBoth())
return MoverType.Both;
return MoverType.Top;
}