dependencyList.add(bodyAtom.getFunctionSymbol()); } else if (bodyAtom.isAlgebraFunction() || bodyAtom.isOperation()) { updatePredicateDependencyGraph_traverseBodyAtom(dependencyList, bodyAtom);
dependencyList.add(bodyAtom.getFunctionSymbol()); } else if (bodyAtom.isAlgebraFunction() || bodyAtom.isOperation()) { updatePredicateDependencyGraph_traverseBodyAtom(dependencyList, bodyAtom);