if no init state returned from jtlv, use whatever conditions are given. applies to vacuously realizable specs (init unsat)