Add knossos.core/analysis for more info about nonlinearizable histories