Handle missing values in yices result