fix bug with boolean replacements in ReplacementFrontend, caused by bools being a subclass of int
fix bug with boolean replacements in ReplacementFrontend, caused by bools being a subclass of int

chubbymaggie/claripy,angr/claripy