Started changing precondition checking to use stopTD traversal strategy