simplify some code and eliminate the symbolicAddressesAreRIPRel() predicate.