Case Study - Avoiding Microloops with Barriers