Schematic proof unrolling works for proof where the proof links do not use the eigenvariable places. 
The unrolling works for arbitrary values of the parameter not just 0,1,2, and 3. :) For an example 
proof \chi of the Tapeproofnew.lksc can be unrolled to any length. 


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1793 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
added some tools to cli for css analysis

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