Separating kernel/combinatorics

viewLog.html?buildId=12147&tab=buildResultsDiv&buildTypeId=bt7