fix: guard access to s->previous with LIVENESS_COUNT

This fixes a compile error resulting from bad code generation when
counterexample traces are disabled and there are no liveness properties.

Github: closes #126 "--counterexample-trace off produces code that does not
compile"