System.out.println("Started assertion module at " + new Date());
//Options options = new Options();
resetOptions();
CmdLineParser parser = new CmdLineParser(options);
parser.parseArgument(args);
// options.parseOptions(args);
if (useEvaluationLogFile && evaluationLogFileOut == null) {
evaluationLogFile = new File(evaluationLogFilePath);
evaluationLogFileOut = new BufferedWriter(new FileWriter(evaluationLogFile), 32768);