public void ConstraintTrueAssertion()
{
Book myBook = new Book();
myBook.ArtificiallyIncreaseValue();
// Controleer dat het boek een eerste editie is
// Gebruik een constraint model-assertion
}
