modify has_side_effect