added more tests. modified print output in sem_check