k-Semantics: some names improved, initialization fixed, rule for assignment improved, test program for assignment added