boolean_and_simplifier: Check if there is only one argument again after simplification. (#83)
boolean_and_simplifier: Check if there is only one argument again after simplification. (#83)

Thanks Ben Rodes from Kudu Dynamics for reporting this bug.
angr/claripy