code: @Override
    public Set<String> getVariables() {
      Set<String> variables = lhs.getVariables();
      variables.addAll(rhs.getVariables());
  
      return variables;
    }
docs: Returns a set of variables referenced by the predicates
  @return set of variables