ETERM to term transformation WIP