Phylogenetic incongruence through the lens of Monadic Second Order logic