Description
As reported by Ruslan Muzhikov, it will give AssertionError on binary terms.
We should use Term.toString() which will do the right thing.
As reported by Ruslan Muzhikov, it will give AssertionError on binary terms.
We should use Term.toString() which will do the right thing.