update Princess with version 2021-08-12.
update Princess with version 2021-08-12.

The new version of Princess fixes several issues related to #232.
Internal symbols are no longer given to the user (as part of the error message).
However, the query in 'src/org/sosy_lab/java_smt/test/SMT2_UF_and_Array.smt2'
seems to still cause a bug in Princess. Thus #232 is not yet finished.

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt