Added a warning when SMT doesn't give a definite answer.
Added a warning when SMT doesn't give a definite answer.

seplogic/jstar,seplogic/jstar,septract/jstar-old,seplogic/jstar,MatkoBotincan/corestar-old,septract/jstar-old