Formula can not be retrieved from a String using OpenSMT

[gcarpio21]

While trying to parse the String output from the method printResolutionProofSMT2 from the OpenSMT API I could not find a way to recover the formulas from their name used in the String. E.g., the boolean formula q1 appears in the proof but I can not use this to get the Formula instance associated with the term of said name that was used in the query.

I am trying to do this in this method: https://github.com/sosy-lab/java-smt/pull/458/files#diff-01498cb858bbe623fc3598d725d0563234f9fa324c959e113258d8bd84edbb0aR45 for the #458 PR. I knew beforehand the exact way in which I tried wouldn't work but I wanted to test the output.