Cycle detection for bindings too, plus a test.