Added rewriter for adding guess part of casp expressions. Fixed Makefile for new sources. Fixed converter bug for new lines.