print LTL core to console for S.E. case too
add debug print to show which core-finding heuristic was used