test-suite/output/CompactContexts.out


1
2
3
4
5
6
7

1 goal
  
  hP1 : True
  a : nat   b : list nat   h : forall x : nat, {y : nat | y > x}
  h2 : True
  ============================
  False