Permissive Controller bug
Some weird labels appear when computing MinPruebaC
fluent FA = <a, c> fluent FB = <b, c> assert Live = (FA || FB)
Prueba = (a -> Prueba | b->Prueba | c-> Prueba). controllerSpec SpecPrueba = { safety = {} assumption = {} liveness = {Live} controllable = {a, b, c} permissive
}
controller ||PruebaC = Prueba~{SpecPrueba}. minimal ||MinPruebaC = (PruebaC).