BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs (Logical Methods in Computer Science, 2022)