Java to SMTLib translation