I started to integrate the schemata functionality in the CLI.
My idea is to have both the CERES method applied on an 
instanciated schema and the CERESs method applied directly
on the schema. The resulting ACNF should be the same.







git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1516 85d21ef8-add0-11de-ae77-5bfb9c5a3f34