missing push operation

added the missing push operation to the smallstep semantic
Merge pull request #1 from sschauss/patch-1

missing push operation