adjust check function for poly-stlc and put Jay's counter
example for bug #2 into the file
rename make-mutants because these aren't mutants in the usual sense of the testing literature