Added mkArgint in Psyntax.
Merge branch 'alt-abd' of github.com:seplogic/corestar into alt-abd