in app/prism/PrismLogic.scala [141:151]
def instancesCountPerSsaPerAmi[T](
amisWithInstances: List[(T, List[Instance])],
ssas: List[SSAA]
): Map[(SSAA, T), Int] = {
for {
(t, instances) <- amisWithInstances.toMap
ssaa <- ssas
instancesCount = instances.count(i => doesInstanceBelongToSSA(i, ssaa))
if (instancesCount > 0)
} yield (ssaa, t) -> instancesCount
}