Revert "Test case for mutually referencing domains"

This reverts commit 7a7ad47be7f2cd9e61eb0a0f9e0d7e4f047a2b6b.
Revert "tinfer/tibup.c: Fixes for mutually dependent domains"

This reverts commit 77f266f6b33601c8c69673885606428f2b52bc0f.