Fix case where a transition with no pre would be marked as dead.