public void Initialize()
{
a = new Principal(nameof(a));
b = new Principal(nameof(b));
p1 = new PolicyLabel(new Policy(a, a));
p2 = new PolicyLabel(new Policy(b, b));
c1 = new ConstantLabel(nameof(c1));
c2 = new ConstantLabel(nameof(c2));
v1 = new VariableLabel(nameof(v1));
v2 = new VariableLabel(nameof(v2));
}
/// <summary> /// Returns a <see cref="UpperBoundLabel"/>; see <see cref="Label.ReplaceConstant(ConstantLabel, Label)"/>. /// </summary> /// <param name="constant">The constant label that should be replaced.</param> /// <param name="replacement">The replacement label.</param> /// <returns>A <see cref="UpperBoundLabel"/>.</returns> public override Label ReplaceConstant(ConstantLabel constant, Label replacement) => this;