abstract public RectangleNode apply(RectangleNode Xinit, InfoDomain _domain, Graph graph);
abstract public CircleNode apply(CircleNode Xinit, InfoDomain _domain, Graph graph);
abstract public RectangleNode apply(RectangleNode Xinit, InfoDomain _domain, Graph graph);
abstract public CircleNode apply(CircleNode Xinit, InfoDomain _domain, Graph graph);