// (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());
Map<String,SSLFunction> instrPrototypes = prep.getInstructions();
//registers = prep.getRegisters();
//registers.removeAll(statusFlags);