61   CPPUNIT_ASSERT(numbers[0]==5);  in stblptn0()
62   CPPUNIT_ASSERT(numbers[1]==6);  in stblptn0()
63   CPPUNIT_ASSERT(numbers[2]==-2);  in stblptn0()
64   CPPUNIT_ASSERT(numbers[3]==10);  in stblptn0()
65   CPPUNIT_ASSERT(numbers[4]==11);  in stblptn0()
66   CPPUNIT_ASSERT(numbers[5]==20);  in stblptn0()
69   CPPUNIT_ASSERT( nb_pred_calls == sizeof(numbers) / sizeof(numbers[0]) );  in stblptn0()
81   CPPUNIT_ASSERT(v1[0]==5);  in stblptn1()
82   CPPUNIT_ASSERT(v1[1]==5);  in stblptn1()
83   CPPUNIT_ASSERT(v1[2]==2);  in stblptn1()
84   CPPUNIT_ASSERT(v1[3]==10);  in stblptn1()
85   CPPUNIT_ASSERT(v1[4]==0);  in stblptn1()
86   CPPUNIT_ASSERT(v1[5]==5);  in stblptn1()
87   CPPUNIT_ASSERT(v1[6]==0);  in stblptn1()
88   CPPUNIT_ASSERT(v1[7]==0);  in stblptn1()
89   CPPUNIT_ASSERT(v1[8]==12);  in stblptn1()
90   CPPUNIT_ASSERT(v1[9]==19);  in stblptn1()
91   CPPUNIT_ASSERT( nb_pred_calls == v1.size() );  in stblptn1()
99   CPPUNIT_ASSERT(numbers[0]==6);  in ptition0()
100   CPPUNIT_ASSERT(numbers[1]==1);  in ptition0()
101   CPPUNIT_ASSERT(numbers[2]==3);  in ptition0()
102   CPPUNIT_ASSERT(numbers[3]==10);  in ptition0()
103   CPPUNIT_ASSERT(numbers[4]==12);  in ptition0()
104   CPPUNIT_ASSERT(numbers[5]==20);  in ptition0()
106   CPPUNIT_ASSERT( nb_pred_calls == sizeof(numbers) / sizeof(numbers[0]) );  in ptition0()
119   CPPUNIT_ASSERT(v1[0]==6);  in ptition1()
120   CPPUNIT_ASSERT(v1[1]==3);  in ptition1()
121   CPPUNIT_ASSERT(v1[2]==9);  in ptition1()
122   CPPUNIT_ASSERT(v1[3]==8);  in ptition1()
123   CPPUNIT_ASSERT(v1[4]==10);  in ptition1()
124   CPPUNIT_ASSERT(v1[5]==19);  in ptition1()
125   CPPUNIT_ASSERT(v1[6]==14);  in ptition1()
126   CPPUNIT_ASSERT(v1[7]==17);  in ptition1()
127   CPPUNIT_ASSERT(v1[8]==11);  in ptition1()
128   CPPUNIT_ASSERT(v1[9]==19);  in ptition1()
129   CPPUNIT_ASSERT( nb_pred_calls == v1.size() );  in ptition1()