boolean (Statement stat) { cancellationManager.checkCanceled(); if (stats.contains(stat)) { return true; } for (Statement st : stats) { if (st.containsStatementStrict(stat)) { return true; } } return false; }