print error for picomus, change p computation
if no init state returned from jtlv, use whatever conditions are given. applies to vacuously realizable specs (init unsat)
need to check badInit not None
use max var rather than pre-computing p (temp fix)
Merge remote-tracking branch 'vasu/cores' into slurp-dev