boolean (@NotNull VarTracker tracker, @NotNull Statement statement) { if (statement instanceof BasicBlockStatement && statement.getExprents() != null) { boolean found = false; for (Exprent statementExprent : statement.getExprents()) { if (collectRecordAssignment(tracker, statementExprent, statement)) { found = true; continue; } return found; } } if (statement instanceof SequenceStatement || statement instanceof IfStatement) { return processAtLeastOneBlock(tracker, statement.getFirst()); } return true; }