StsParser { public STS sts() { final SExpr sexpr = parser.sexpr(); final STS sts = interpreter.sts(sexpr); return sts; } StsParser(final Reader reader); STS sts();  }
@Test public void test() { final STS sts = parser.sts(); System.out.println(sts); Assert.assertEquals(vars, sts.getVars().size()); }