Neighbor Discovery State Machine for the Reachability State

This state machine flow chart covers a summary of the rules specified in RFC 4861 Sections 7.2 and 7.3.