Similar Items: BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs