Text this: BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs