inLTL = true; // now in LTL space
} else if (c == 'c' && reader.has(4) && reader.readAhead(3).equals("ase") && Character.isWhitespace(reader.readAhead(4).charAt(3))) {
// starting a case statement
writer.write(c);
writer.write(reader.read(3));
writer.newLine();
// indent
writer.indentIncrease();
c = ' ';