("letrec init evaluation"): New paranoid test.