option to hoist dead ends into loops