corrected ImplicationGraph component removal