contract linear paths in the cfg with exp.mincfg
making poly more robust
Merge branch 'master' into externalInfo

Conflicts:
	src/framework/constraints.ml
new merge resolution for constraints.ml