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; }