Always trace backwards from the exit