[JML] fix a few bugs related to ArgExpr