Ughh. Yices doen't allow empty tuple and empty record.
At first sight its language looks nice, but there are many points that irritate me.