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); }