SZS status CounterSatisfiable for i/f/finite_map/fmap__CASES
t_bool -> $i!val!0
t -> $i!val!1
TV_u_27b!7 -> $i!val!6
V_f!6 -> $i!val!8
f0 -> $i!val!3
TV_u_27a!8 -> $i!val!5
h4s_finiteu_u_maps_fempty -> $i!val!10
s!12 -> {
  $i!val!0 $i!val!3 -> $i!val!4
  $i!val!7 $i!val!8 -> $i!val!9
  $i!val!7 $i!val!10 -> $i!val!11
  else -> $i!val!2
}
V_x!5 -> {
  $i!val!5
}
h4s_finiteu_u_maps_fupdate -> {
  $i!val!5
}
k!11 -> {
  $i!val!6 -> $i!val!6
  $i!val!7 -> $i!val!7
  $i!val!5 -> $i!val!5
  else -> $i!val!0
}
p -> {
  $i!val!4 -> false
  else -> true
}
t_fun -> {
  $i!val!5
}
V_x!1 -> {
  $i!val!5
}
k!10 -> {
  $i!val!1 -> $i!val!1
  $i!val!8 -> $i!val!8
  $i!val!3 -> $i!val!3
  else -> $i!val!10
}
h4s_pairs_u_2c -> {
  $i!val!5
}
happ -> {
  $i!val!5
}
V_y!4 -> {
  $i!val!5
}
V_x!2 -> {
  $i!val!5
}
V_x!0 -> {
  $i!val!5
}
t_h4s_finiteu_u_maps_fmap -> {
  $i!val!7
}
V_f!3 -> {
  $i!val!5
}
t_h4s_pairs_prod -> {
  $i!val!5
}
s -> {
  (s!12 (k!11 #0) (k!10 #1))
}
