better constraint_to_si() handling. add expand_ifproxy decorator to set operations.
better constraint_to_si() handling. add expand_ifproxy decorator to set operations.

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