janhaag/PSE2011 — Issue #81: Quantifier bounds not respected in SMTLibTranslation
Author: ratefuchs
Created: 2012-03-03 20:00:26+00:00
State: open
Labels: Verifier/SMTLib

so "exists x(1,4)" has the same effect as "exists x()".