Util: removed a String.create deprecation warning
removed useless function
Skolem: at creation, now possible to specify prefix for Tseitin atoms