better debugging in ATPipGen