minor modification in cink-basic-semantics.k
minor modification in cink-basic-semantics.k