generatePathBasedBackwardProfile

Generates a backward profile based on path constraints.