in app/prism/PrismLogic.scala [82:95]
def amiSSAAs[T](
amisWithInstances: List[(T, List[Instance])]
): Map[SSAA, List[T]] = {
val allSSACombos = for {
(t, instances) <- amisWithInstances
ssaa <- instanceSSAAs(instances)
} yield ssaa -> t
allSSACombos
.groupBy { case (ssaa, _) => ssaa }
.map { case (ssaa, ssaaAmis) =>
ssaa -> ssaaAmis.map { case (_, t) => t }
}
}