docs: public final boolean matches(final Collection<LabelAtom> labels) {
          return matches(new VariableResolver<Boolean>() {
              public Boolean resolve(String name) {
                  for (LabelAtom a : labels)
                      if (a.getName().equals(name))
                          return true;
                  return false;
              }
          });
      }