don't mark unsimplified unless constraints are actually being added
don't mark unsimplified unless constraints are actually being added

zhuyue1314/claripy,angr/claripy,avain/claripy,chubbymaggie/claripy