Segmentation Fault

[5nizza]

Hi, again:) The following `corner-case' file causes IC3 to crash with segfault:

aag 5 2 0 1 3
2
4
7
6 9 11
8 2 4
10 3 5
i0 i
i1 controllable
c
G(i <-> c)
special case -- no latches
realizable

gdb ./IC3
run < eq.aag
Program received signal SIGSEGV, Segmentation fault.
value (p=..., this=) at ./minisat/core/Solver.h:351
351 inline lbool Solver::value (Lit p) const { return assigns[var(p)] ^ sign(p); }