class BooleanExprVarCollector implements BooleanExprVisitor<Set<CommunityVar>, Configuration> {

  @Override
  public Set<CommunityVar> visitNot(Not not, Configuration arg) {
    return not.getExpr().accept(this, arg);
  }

}