public List<VariableCorrespondence> getTargetCorrespondences(CoverageAtom atomCoverage) {
List<VariableCorrespondence> targetCorrespondences = new ArrayList<VariableCorrespondence>();
for (FormulaAtom coveringAtom : atomCoverage.getCoveringAtoms()) {
for (FormulaPosition position : coveringAtom.getPositions()) {
if (position.isUniversal()) {
targetCorrespondences.add(position.getCorrespondence());
}
}
}
return targetCorrespondences;
}
