working on SLL reduction semantics