towards integrating scala wrapper and isabelle generated scala