Make Value::isDereferenceablePointer handle offsets to pointer types with dereference...