SZS status CounterSatisfiable for i/f/list/SNOC__CASES
t_bool -> $i!val!0
t -> $i!val!1
f -> $i!val!3
TV_u_27a!5 -> $i!val!5
V_ll!4 -> $i!val!7
h4s_lists_nil -> $i!val!9
V_x!3 -> {
  $i!val!5
}
k!6 -> {
  $i!val!3 -> $i!val!3
  $i!val!7 -> $i!val!7
  $i!val!9 -> $i!val!9
  else -> $i!val!1
}
t_fun -> {
  $i!val!5
}
p -> {
  $i!val!4 -> false
  else -> true
}
V_x!1 -> {
  $i!val!5
}
h4s_lists_snoc -> {
  $i!val!5
}
happ -> {
  $i!val!5
}
t_h4s_lists_list -> {
  $i!val!6
}
V_x!0 -> {
  $i!val!5
}
V_l!2 -> {
  $i!val!5
}
k!7 -> {
  $i!val!5 -> $i!val!5
  $i!val!6 -> $i!val!6
  else -> $i!val!0
}
d_exists -> {
  $i!val!5
}
s -> {
  (s!8 (k!7 #0) (k!6 #1))
}
s!8 -> {
  $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
}
