fix printout
smaller counter example for let-poly-4
fix let-poly's check function so it always terminates