team-worthwhile/worthwhile — Issue #66: SMTLIB error: constant already declared
Author: jspam
Created: 2012-02-17 22:09:05+00:00
State: open
Labels: prover

[Test program and generated formula here](https://gist.github.com/1855698)

When trying to prove the program, the following error message appears:

```line 7 column 21: invalid declaration, constant 'i1' (with the given signature) already declared```

When I uncomment the function call in line 55, the program runs fine (well, except for #64)