SZS status CounterSatisfiable for i/f/option/option__nchotomy
t_bool -> $i!val!0
t -> $i!val!1
f -> $i!val!3
h4s_options_none -> $i!val!9
V_opt!3 -> $i!val!7
TV_u_27a!4 -> $i!val!5
k!6 -> {
  $i!val!6 -> $i!val!6
  $i!val!5 -> $i!val!5
  else -> $i!val!0
}
happ -> {
  $i!val!5
}
V_a!2 -> {
  $i!val!5
}
h4s_options_some -> {
  $i!val!5
}
s!7 -> {
  $i!val!0 $i!val!3 -> $i!val!4
  $i!val!6 $i!val!7 -> $i!val!8
  $i!val!6 $i!val!9 -> $i!val!10
  else -> $i!val!2
}
t_h4s_options_option -> {
  $i!val!6
}
t_fun -> {
  $i!val!5
}
V_x!1 -> {
  $i!val!5
}
V_x!0 -> {
  $i!val!5
}
p -> {
  $i!val!4 -> false
  else -> true
}
k!5 -> {
  $i!val!3 -> $i!val!3
  $i!val!9 -> $i!val!9
  $i!val!7 -> $i!val!7
  else -> $i!val!1
}
s -> {
  (s!7 (k!6 #0) (k!5 #1))
}
d_exists -> {
  $i!val!5
}
