Bugfix: String-typed ConstantTerms for strings and constant symbols mistakenly equal (Issue #244)

[madmike200590]

Fixes the bug described in issue #244

• Extended ConstantTerm#equals to check whether this.symbolic != other.symbolic
• Extended ConstantTerm#compareTo to compare based on priority if this.symbolic != other.symbolic
• additional Test Case in TermTest checking the condition from issue String-typed ConstantTerms for strings and constant symbols mistakenly equal #244

[codecov]

Codecov Report

Merging #245 into master will increase coverage by 0.02%.
The diff coverage is 100%.

@@             Coverage Diff              @@
##             master     #245      +/-   ##
============================================
+ Coverage     76.79%   76.82%   +0.02%     
- Complexity     2052     2055       +3     
============================================
  Files           150      150              
  Lines          6780     6782       +2     
  Branches       1183     1184       +1     
============================================
+ Hits           5207     5210       +3     
  Misses         1177     1177              
+ Partials        396      395       -1

Impacted Files	Coverage Δ	Complexity Δ
.../ac/tuwien/kr/alpha/common/terms/ConstantTerm.java	95.83% <100%> (+2.35%)	29 <0> (+3)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 225fa87...fcfca33. Read the comment docs.