assertEquals( 2, pack.getFunctionNames().size() );
assertTrue( pack.getFunctionNames().contains( "fun1" ) );
assertTrue( pack.getFunctionNames().contains( "fun2" ) );
assertEquals( 2, pack.getGlobalVariables().size() );
GlobalImpl g1 = new GlobalImpl( "N", "java.lang.Integer" );
GlobalImpl g2 = new GlobalImpl( "list", "java.util.List" );
assertTrue( pack.getGlobalVariables().contains( g1 ) );
assertTrue( pack.getGlobalVariables().contains( g2 ) );
assertEquals( 2, pack.getFactTypes().size() );
FactType type;