SMTLib translation for sort and function declaration and lemmas