Assert.assertEquals("[[a], [a, b], [a, b, c], [a, c], [b], [b, c], [c]]", z.getVariables().toString());
}
private EncodingSpec parse(String s) throws IOException, RecognitionException {
Reader reader = new StringReader(s);
CommonTokenStream input = new CommonTokenStream(new FormulaLexer(new ANTLRReaderStream(reader)));
FormulaParser tokenParser = new FormulaParser(input);
FormulaParser.expression_return parserResult = tokenParser.expression();
reader.close();
return parserResult.r;
}