Add more tests that highlight a regression in the new circular dependency check for aliases