Circular dependency verfication