Better squeezing + debug file to pretty-print atoms