Do Expressive Programming Languages Always Have Undefined Behavior?