Is there a smtlib2 syntax conversion java file?

[Applonce]

I would be grateful if there is a smtlib2 syntax conversion code. I am having troubles running latest Z3 onto an example (CRIME from JPF-security in cashew) as SPF reports a solution expression error onto indexof_2_. Hence, i'm trying to convert to smtlib2 but cant seem to find any relevant translators inside SPF's translate folders. Do let me know if there is any.

Edit. i have included the files used so the problem can be reproduced. As well as the output of the error.

reproduce.zip

Thanks,

Arun