public void test_Model_createInitialAssignment()
{
Model m = new Model(2,2);
InitialAssignment p = m.createInitialAssignment();
assertTrue( m.getNumInitialAssignments() == 1 );
assertTrue( (p).getLevel() == 2 );
assertTrue( (p).getVersion() == 2 );
m = null;
}