// `choose_local` ignores locals of incompatible types
start ::= <<push_scope>> <<fresh_local[A]>> <<fresh_local[B]>> -> <<choose_local[A]>>

// output 0:  x0 x1 -> x0
