private ICollection <IDeclaration> generateFormulaDeclarations(IFormula formula)
{
List <IDeclaration> formulaDeclations = new List <IDeclaration>();
foreach (Node proposition in formula.getLeafNodes())
{
ICollection <IDeclaration> declarations = DeclarationGenerator.generateDeclarations(proposition.getExpression()); //createDeclarationFromAtomicProposition(proposition);
formulaDeclations.AddRange(declarations);
}
return(formulaDeclations);
}
