IS-IS SRv6 Microloop Avoidance Behavior Explained