update_persistent_hash() doesn't work for non-Assignment instruction that have predicates