A test program test.kl1 has been prepared for testing DeepForest modules. Compilation will be carried out by typing make in the source program directory (./H8-16/src/unix). By typing test.sh, the test will begin. Please refer the source program of test.kl1 for more information about the predicates.