composite child solver doesn't need to do eager resolution, since the composite solver does it
composite child solver doesn't need to do eager resolution, since the composite solver does it

angr/claripy,chubbymaggie/claripy