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

Trun --use-concolic-taint on to not addConstraint while using single path concolic execution to speed up