contract linear paths in the cfg with exp.mincfg