Symbol: pf_analyse_perr_assert