automatic pychecker and unit test
add cnt_subtract() for Counter-set
correct some clerical errors
change ut because of change of data in the last ci
fix #4