private ExpressionSimplifier() throws Exception {
// (x < y) | (x = y) <-> x <= y
File specFile = new File(Options.jakstabHome + "/ssl/simplifications.ssl");
logger.info("Reading simplifications from " + specFile.getName() + ".");
SSLLexer lex = new SSLLexer(new FileInputStream(specFile));
SSLParser parser = new SSLParser(lex);
SSLPreprocessor prep = new SSLPreprocessor();
parser.start();
prep.start(parser.getAST());