Minimzed failing test case futher
Minimzed failing test case futher

ebind-elim-crash is dervied from Implicit2.hs.

It had two bugs in it:

 - a CRASH resulting from twice-bound ebinds with eliminate, fixed
   by dropping the inner quantifer (see tests/neg/ebind-elim2.fq)

 - The current bug which causes eliminate to incorrectly mark the
   file as UNSAFE

ucsd-progsys/liquid-fixpoint