Function dyn_potential_revert 

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