v20

• UTBotJava
  commit 8cadc906ae5f61addb1897e672e9a36967a55b0b (HEAD -> tochilinak/usvm-python, origin/tochilinak/usvm-python)
  Author: Ekaterina Tochilina [email protected]
  Date: Wed Dec 27 15:27:33 2023 +0300

  Added option --only-toplevel
  

• usvm
  commit d262251818fd5a72fba52efe6621e05172e48cde (HEAD -> tochilinak/python, origin/tochilinak/python)
  Author: tochilinak [email protected]
  Date: Tue Dec 26 21:54:16 2023 +0300

  Added constraints from native calls