k-Semantics: Implemented most of the rules for retrieving the values of fields and local variables and some rules for statements