Replaces yices_constant with uninterpreted term function, yices works fine as a constraint solver now.