Fixed bad behaviour when discharging pure guards without an SMT solver, added some debugging output from SMT
Fixed bad behaviour when discharging pure guards without an SMT solver, added some debugging output from SMT

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