Fixed soundness issue related to representation of pointer and function pointer bases as bitvectors.