public void testInv_05()
{
doTestManyContextOK(
"context Film inv names01: name.size() < 10 " +
"context Film inv : name.size() > 20 " +
"context Film inv : name.size() < 50",
getCurrentMethodName());
CoreClassifier film = (CoreClassifier)environment.lookup("Film");
Assert.AreEqual(3, film.getAllInvariants().Count);
Assert.IsNotNull(film.getInvariant("names01"));
}
