main
Clean up CFG_NODE_COUNT where it's not needed
robutsness: don't visualize history if there is any failure during linearization
robustness: improve error handling for NewTestReport