contract linear paths in the cfg with exp.mincfg
making poly more robust