changed how concrete stuff is handled for solution() with extra_constraints
changed how concrete stuff is handled for solution() with extra_constraints

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