Function cheatcode_error_revert_condition 

pub(crate) fn cheatcode_error_revert_condition(
    cx: &mut SymCx,
    data: &SymReturnData,
) -> Option<SymBoolExpr>