private Plugging makePlugging(AssignStmt st, Body body,
PlugDetector detector) {
Set<String> gapNames = getLocalPlugGapNames(st, body);
if (gapNames.contains(null)) {
Feedbacks.add(new NonConstantGapName(st, body.getMethod()));
return null;
}
Automaton names = Automaton.makeEmpty();
for (String string : gapNames) {
names = names.union(Automaton.makeString(string));