add type-0 to circular reference check