Nicer datalog program output after unfolding.