@Test
public void testPr() {

    ScelExpr expr = ScelParser.parse("a pr");
    assertEquals("a pr", expr.toString());
    expr = ScelParser.parse("a pr and b pr");
    assertEquals("a pr and b pr", expr.toString());
}