Effects analysis sees match-error, throw-bad-structs as bailouts