add --assume-non-negative-parameters option