let subst_havoc _ _ =
    Wp_parameters.not_yet_implemented "subst_havoc of pointer"