sclass FreeOfLocalBlockedKeyword is IPred<S> {
  RegExp regExp;
  
  *() {
    LS words = tlft(loadJavaXSecretTextFile("hidden-keywords.txt"));
    regExp = empty(words) ? null : cicAnyToRegexp(words);
  }
  
  public Bool get(S s) {
    ret regExp == null || !regExp.containedIn(s);
  }
}