fix horrific bug -- ReplacementFrontend was not branching its underlying frontend properly
fix horrific bug -- ReplacementFrontend was not branching its underlying frontend properly

angr/claripy,chubbymaggie/claripy