option --use-concolic-taint=true:no addConstraint