[JML] fix a few bugs related to ArgExpr
Merge pull request #10 from telerik/dragnev/argexpr

[JML] fix a few bugs related to ArgExpr