Notes on checking for circular dependencies