Remove old code that always enabled inductive cunterexamples
Write raw JKind output to console