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

  @Override
  public Set<CommunityVar> visitConjunction(Conjunction conjunction, Configuration arg) {
    return visitAll(conjunction.getConjuncts(), arg);
  }

}