The SMAT tool reports all the SPD 2010 workflows that are added to library via content types. The document content type by default lists 3 workflows and these 3 workflows are reported in spite of not being configured on the library. This adds up to the number of workflows reported and it doesn't give us deep dive information of whether they are enabled on the library. This poses a big challenge in terms of understanding what workflows needs to be really transformed to power automate. Rater, we would like to focus only on those workflows which are in use and which are enabled at library from transformation stand point.