private List<BackwardAttribute> findAttributesForBackwardChasing(Dependency egd) {
List<BackwardAttribute> attributesForBackwardChasing = new ArrayList<BackwardAttribute>();
for (FormulaVariableOccurrence backwardAttributeOccurrence : egd.getBackwardAttributes()) {
AttributeRef occurrenceAttribute =
EquivalenceClassUtility.correctAttributeForSymmetricEGDs(
backwardAttributeOccurrence.getAttributeRef(), egd);
FormulaVariable variable =
LunaticUtility.findPremiseVariableInDepedency(backwardAttributeOccurrence, egd);
BackwardAttribute backwardAttribute = new BackwardAttribute(occurrenceAttribute, variable);
if (attributesForBackwardChasing.contains(backwardAttribute)) {
continue;
}
attributesForBackwardChasing.add(backwardAttribute);
}
return attributesForBackwardChasing;
}
