k-Semantics: Fixed bug, added tests
k-Semantics: Fixed bug, added comment. Added several tests