Function dyn_potential_reverts 

pub(crate) fn dyn_potential_reverts(
    cx: &mut SymCx,
    value: &DynSolValue,
) -> Result<Vec<ExpectedRevert>, SymbolicError>