added smallstep-semantics