Added a function which does not normalize error paths before returning them. This is required to correctly construct the graph used to model the paths for BMC
Added a function which does not normalize error paths before returning
them. This is required to correctly construct the graph used to model
the paths for BMC

zutshi/S3CAMR,zutshi/S3CAMR,zutshi/S3CAMR