missing push operation

added the missing push operation to the smallstep semantic