public boolean containsStatementStrict(Statement stat) {
    cancellationManager.checkCanceled();

    if (stats.contains(stat)) {
      return true;
    }

    for (Statement st : stats) {
      if (st.containsStatementStrict(stat)) {
        return true;
      }
    }

    return false;
  }
public boolean containsStatementStrict(Statement stat)