Extract string -> alphanumeric from XSB/entailment and reuse

Issue #624 new
Bart Bogaerts created an issue

No description provided.