public void test_Model_createFunctionDefinition()
{
Model m = new Model(2,2);
FunctionDefinition p = m.createFunctionDefinition();
assertTrue( m.getNumFunctionDefinitions() == 1 );
assertTrue( (p).getLevel() == 2 );
assertTrue( (p).getVersion() == 2 );
m = null;
}