Predicate SideEffectInAssert::func_with_side_effects

predicate func_with_side_effects(Expr e)