let ctype_ptr_subtype tptr = if (Cil.isPointerType tptr) then Cil.typeOf_pointed tptr else Wp_parameters.abort "pointed type but not a pointer"