add some debugging output to $let handling in tptp