k-Semantics: Fix minor bug (which occurred in the initialization phase)
k-Semantics: Added new example