Debugging Atkin-Lehner computations