fixed semanticChecksMoudle

shachar:

- pick a better name and add documenation to the top of the file
- run tests
- i fixed a few things you forgot