public void TestSerialization()
{
ConstantFormula x1 = CreateObject <ConstantFormula>().WithName("Fortunato").WithDimension(DimensionLength).WithValue(5.3);
x1.AddObjectPath(ObjectPathFactory.CreateAbsoluteFormulaUsablePath(P1));
x1.AddObjectPath(ObjectPathFactory.CreateRelativeFormulaUsablePath(P, P0));
x1.AddObjectPath(ObjectPathFactory.CreateRelativeFormulaUsablePath(P, P2).WithAlias("Pitter"));
x1.ResolveObjectPathsFor(P);
ConstantFormula x2 = SerializeAndDeserialize(x1);
x2.ResolveObjectPathsFor(P);
AssertForSpecs.AreEqualConstantFormula(x2, x1);
}