FIRST load the top-down analysis engine 

   engine_td.pl

THEN  key in a goal 
   
   testall(script_XYZ)
 
which loads a set of test spefications and call analysis engine on
these tests. The result will be in

   result_XYZ


NOTE that the A.I. framework cannot deal with some builtin predicates
of Prolog. This is NOT a fault of the analyses. This is a one person
project so far and I add builtins when necessary.  You might want to
adapt and plug these analyses into a different framework.
