34 const auto& program = translationUnit.getProgram();
35 for (
auto*
rel : program.getRelations()) {
39 for (
auto* clause : program.getClauses()) {
40 const auto& relationName = clause->getHead()->getQualifiedName();
50 os <<
"--" << pair.first <<
"--";
52 for (
const auto* clause : pair.second) {
53 os << *clause << std::endl;