while ((line = reader.readLine()) != null) {
builder.append(line);
builder.append(System.getProperty("line.separator"));
}
CARulesConverter converter = new CARulesConverter();
ISymbolicModel<?> sm =
converter.fromDocument(new CARulesAntlrDocument(builder.toString()));
SymbolicCAModelInformation info =
(SymbolicCAModelInformation) sm.getAsDataStructure();
List<CAProblemToken> problems = info.getProblems();