List<Predicate> topDownPredicates = Lists.reverse(dependencyGraph.getPredicatesInBottomUp());
List<Predicate> topDownPredicates = Lists.reverse(dependencyGraph.getPredicatesInBottomUp());
List<Predicate> predicatesInBottomUp = depGraph.getPredicatesInBottomUp(); List<Predicate> extensionalPredicates = depGraph.getExtensionalPredicates();
List<Predicate> predicatesInBottomUp = depGraph.getPredicatesInBottomUp(); List<Predicate> extensionalPredicates = depGraph.getExtensionalPredicates();