Update interpret_sygus

[THinnerichs]

• add inputs to sygus_interpret
• remove get_relevant_tags, as this is already given in src/utils/...

[codecov-commenter]

Codecov Report

❌ Patch coverage is 0% with 6 lines in your changes missing coverage. Please review.
✅ Project coverage is 37.77%. Comparing base (ddc9b76) to head (8be6d01).

Files with missing lines	Patch %	Lines
...data/SyGuS/PBE_SLIA_Track_2019/string_functions.jl	0.00%	6 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #101      +/-   ##
==========================================
+ Coverage   37.47%   37.77%   +0.30%     
==========================================
  Files          25       25              
  Lines         862      855       -7     
==========================================
  Hits          323      323              
+ Misses        539      532       -7     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.