ReadFormulaAssertions
Extrait les assertions de formules du fichier en cours d'évaluation et retourne un string contenant les assertions de formule.
COM et .NET
Signature: string ReadFormulaAssertions()
Java
Signature: public string readFormulaAssertions()