public void M4()
{
Elem e = new Elem();
Box2 b = new Box2(new Box1(null));
b.GetBox1().SetElem(e);
SinkWrap(b);
}
public void M3()
{
Elem e = new Elem();
Box2 b = new Box2(new Box1(null));
b.GetBox1().Elem = e;
SinkWrap(b);
}
public void M4()
{
Elem e = Source <Elem>(4);
Box2 b = new Box2(new Box1(null));
b.GetBox1().SetElem(e);
SinkWrap(b);
}
public void M3()
{
Elem e = Source <Elem>(3);
Box2 b = new Box2(new Box1(null));
b.GetBox1().Elem = e;
SinkWrap(b);
}
public static void SinkWrap(Box2 b2)
{
Sink(b2.GetBox1().GetElem());
}
public static void SinkWrap(Box2 b2)
{
Sink(b2.GetBox1().GetElem()); // $ hasValueFlow=1 $ hasValueFlow=2 $ hasValueFlow=3 $ hasValueFlow=4
}