b: look for self inclusion