That would be a bug IMO. There's _tons_ of code that does Terminated(`foo`) and if it won't match then we have to fix it.