redundant loop in highlightCores
split LTL lines on tabs in addition to newlines. deals with initial condition being inline with disjunction over regions