added "annotated_to_string" function

logic.py

@@ -320,3 +320,24 @@ def annotate_beta_reduction(terme):
                 return new_app(A1,annotate_beta_reduction(B1))
             if A2 == None and B2 == None:
                 return None
+
+def annotated_to_string(terme):
+    String_term=''
+    if len(terme)==5:
+        first=getFirstTerm(terme)
+        second=getSecondTerm(terme)
+        String_term+="(#"+str(terme[4])+to_string(getInputFromAbs(first))+"."+annotated_to_string(getOutputFromAbs(first))+') '
+        String_term+='('+ annotated_to_string(second)+ ')'
+    else:
+        if isApplication(terme):
+            first=getFirstTerm(terme)
+            second=getSecondTerm(terme)
+            String_term+= annotated_to_string(first)
+            String_term+=annotated_to_string(second)
+        elif isAbstraction(terme):
+            String_term+='#'+ to_string(getInputFromAbs(terme))+ '.' +annotated_to_string(getOutputFromAbs(terme))
+        else:
+            String_term+=to_string(terme)
+
+        
+    return String_term