Actualmente solo funciona correctamente para formulas de la forma
'' o simplemente formulas sin '[]'
Pero si la formula viene escrita de la siguiente forma:
F = ([]A && []B && ..) al transformar esta formula a 'F W stopOldSpec' no se generara controlador.
Que otras formulas deberia considerar?
([]A || []B)
tambien entra en el scope?
otras mas complejas?
commit que soluciona esto: https://sourceforge.net/p/mtsa/code/1124/